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]
@inproceedings{KnottenbeltMHK98,
title = {Probability, Parallelism and the State Space Exploration Problem},
author = {William J. Knottenbelt and Mark Mestern and Peter G. Harrison and Pieter S. Kritzinger},
year = {1998},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1469&spage=0165},
researchr = {https://researchr.org/publication/KnottenbeltMHK98},
cites = {0},
citedby = {0},
pages = {165-179},
booktitle = {Computer Performance Evaluation: Modelling Techniques and Tools, 10th International Conference, Tools 98, Palma de Mallorca, Spain, September 14-18, 1998, Proceedings},
editor = {Ramón Puigjaner and Nunzio N. Savino and Bartomeu Serra},
volume = {1469},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64949-2},
}