Accelerating the world's research. Validation of Stochastic Systems: A Guide to Current Research Joost-Pieter Katoen Cite this paper Get the citation in MLA, APA, or Chicago styles Downloaded from Academia.edu  Related papers General distributions in process algebra Joost-Pieter Katoen Principles of model checking Joost-Pieter Katoen Principles of Model Checking PrinciplesofModelChecking Darren Wang Download a PDF Pack of the best related papers 