Details for the publication BogdollHZ08.

Jonathan Bogdoll, Holger Hermanns (), Lijun Zhang: An Experimental Evaluation of Probabilistic Simulation. In Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, volume 5048 of Lecture Notes in Computer Science, pages 37-52, 2008. DOI BIB