Cited By
View all- Abdulla PCollomb-Annichini ABouajjani AJonsson B(2019)Using Forward Reachability Analysis for Verification of Lossy Channel SystemsFormal Methods in System Design10.1023/B:FORM.0000033962.51898.1a25:1(39-65)Online publication date: 1-Jun-2019
- Eisentraut CHermanns HSchuster JTurrini AZhang L(2013)The quest for minimal quotients for probabilistic automataProceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-642-36742-7_2(16-31)Online publication date: 16-Mar-2013
- Mateescu ROudot E(2008)Improved On-the-Fly Equivalence Checking Using Boolean Equation SystemsProceedings of the 15th international workshop on Model Checking Software10.1007/978-3-540-85114-1_15(196-213)Online publication date: 10-Aug-2008
- Show More Cited By