ITU

Incremental Bisimulation Abstraction Refinement

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

View graph of relations

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

ID: 76526973