Partial Order Methods for Statistical Model Checking and Simulation [chapter]

Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns
2011 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-21461-5_4 fatcat:or3ctmrr45apbgbzkxllgpix4y