Incremental maintenance of minimal and minimum bisimulation of cyclic graphs

Bibliographic Details
Main Author: Deng, Jintian
Format: Others
Language:English
Published: HKBU Institutional Repository 2011
Subjects:
Online Access:http://repository.hkbu.edu.hk/etd_ra/1288
http://repository.hkbu.edu.hk/cgi/viewcontent.cgi?article=2287&context=etd_ra

Similar Items