Probably Safe or Live
| Title | Probably Safe or Live |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Katoen, J-P, Song, L, Zhang, L |
| Conference Name | Computer Science Logic and Logic in Computer Science (CSL-LICS) |
| Publisher | {ACM}, http://dx.doi.org/10.1145/2603088.2603147 |
Work Package:
WP1
