DMCA

2007): Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking

by Joost-pieter Katoen , Tim Kemna , Ivan Zapreev , David N. Jansen
Venue:In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS’07), Lecture Notes in Computer Science 4424
Citations:39 - 9 self