Sign in
  Edit search
Tools and Algorithms for the Construction and Analysis of Sy…
Tools and Algorithms for the Construction and Analysis of Systems, vol. 4424
Tools and Algorithms for the Construction and Analysis of Systems, vol. 4424
Bisimulation minimisation mostly speeds up probabilistic mod…
Bisimulation minimisation mostly speeds up probabilistic model checking
Bisimulation minimisation mostly speeds up probabilistic model checking
eBook
Bisimulation minimisation mostly speeds up probabilistic model checking
Authors: Joost-Pieter Katoen
Page: 87-101
Published: 2007
ISBN: 9783540712084
  Full text availability for this item
View Full Text Source:Tools and Algorithms for the Construction and Analysis of Systems, vol. 4424,Tools and Algorithms for the Construction and Analysis of Systems, vol. 4424,Springer Nature - Springer Lecture Notes in Computer Science eBooks Opens in new Window
Collection:  Springer Nature - Springer Lecture Notes in Computer Science eBooks
Coverage:
  • 2007
  Request a copy of this item
Cite this item