|
[KKZJ07]
J.-P. Katoen, T. Kemna, I. Zapreev and D. Jansen.
Bisimulation minimisation mostly speeds up probabilistic model checking.
In Proc. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), volume 4424 of LNCS, pages 87-101, Springer.
March 2007.
[bib]
http://www-i2.informatik.rwth-aachen.de/~katoen/pubs.php
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www-i2.informatik.rwth-aachen.de/~katoen/pubs.php
|