Incremental Bisimulation Abstraction Refinement

TitleIncremental Bisimulation Abstraction Refinement
Publication TypeJournal Article
Year of Publication2014
AuthorsSong, L, Zhang, L, Hermanns, H, Godskesen, JC
Journal{ACM} Trans. Embedded Comput. Syst.
Volume13
Pagination142:1–142:23
URLhttp://doi.acm.org/10.1145/2627352
DOI10.1145/2627352
Work Package: 
WP1