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. Embedded Comput. Syst. |
| Volume | 13 |
| Pagination | 142:1–142:23 |
| URL | http://doi.acm.org/10.1145/2627352 |
| DOI | 10.1145/2627352 |
Work Package:
WP1
