Bisimulation minimisation mostly speeds up probabilistic mod…
Bisimulation minimisation mostly speeds up probabilistic model checking
eBook
Authors:
Joost-Pieter Katoen
Page:
87-101
Published:
2007
ISBN:
9783540712084
We were unable to find direct full text links for this item.