Bisimulation minimisation mostly speeds up probabilistic mod…
Bisimulation minimisation mostly speeds up probabilistic model checking
Article, Chapter
Authors:
Joost-Pieter Katoen
Published:
2007
We were unable to find direct full text links for this item.