Incremental Bisimulation Abstraction Refinement

TitleIncremental Bisimulation Abstraction Refinement
Publication TypeConference Paper
Year of Publication2013
AuthorsSong, L, Zhang, L, Hermanns, H, Godskesen, JC
Conference NameApplication of Concurrency to System Design (ACSD), 2013 13th International Conference on
DOI10.1109/ACSD.2013.5
Work Package: 
WP1