Incremental Bisimulation Abstraction Refinement

Lei Song, Holger Hermanns, Lijun Zhang

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Original languageEnglish
JournalA C M Transactions on Embedded Computing Systems
Volume13
Issue number4s
ISSN1539-9087
Publication statusPublished - 2014
Externally publishedYes

Cite this