|
[Kem06]
T. Kemna.
Bisimulation Minimisation and Probabilistic Model Checking.
Masters thesis, University of Twente.
August 2006.
[bib]
http://fmt.cs.utwente.nl/files/sprojects/47.pdf
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://fmt.cs.utwente.nl/files/sprojects/47.pdf
|