Incremental Bisimulation Abstraction Refinement
| Title | Incremental Bisimulation Abstraction Refinement |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Song, L, Zhang, L, Hermanns, H, Godskesen, JC |
| Journal | ACM Trans. Embed. Comput. Syst. |
| Volume | 13 |
| Pagination | 142:1–142:23 |
| ISSN | 1539-9087 |
| Keywords | Bisimulation, CEGAR, Probabilistic Automata |
| URL | http://doi.acm.org/10.1145/2627352 |
| DOI | 10.1145/2627352 |
Work Package:
WP1
