Incremental maintenance of minimal and minimum bisimulation of cyclic graphs
| Main Author: | |
|---|---|
| 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 |