Incremental Bisimulation Abstraction Refinement
| Title | Incremental Bisimulation Abstraction Refinement |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Song, L, Zhang, L, Hermanns, H, Godskesen, JC |
| Conference Name | Application of Concurrency to System Design (ACSD), 2013 13th International Conference on |
| DOI | 10.1109/ACSD.2013.5 |
Work Package:
WP1
