An Experimental Evaluation of Probabilistic Simulation

Jonathan Bogdoll, Holger Hermanns, Lijun Zhang. An Experimental Evaluation of Probabilistic Simulation. In Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih, editors, 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, Springer, 2008. [doi]

Authors

Jonathan Bogdoll

This author has not been identified. Look up 'Jonathan Bogdoll' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Lijun Zhang

This author has not been identified. It may be one of the following persons: Look up 'Lijun Zhang' in Google