William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter S. Kritzinger. Probability, Parallelism and the State Space Exploration Problem. In Ramón Puigjaner, Nunzio N. Savino, Bartomeu Serra, editors, Computer Performance Evaluation: Modelling Techniques and Tools, 10th International Conference, Tools 98, Palma de Mallorca, Spain, September 14-18, 1998, Proceedings. Volume 1469 of Lecture Notes in Computer Science, pages 165-179, Springer, 1998. [doi]
Abstract is missing.