Probability, Parallelism and the State Space Exploration Problem

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]

Authors

William J. Knottenbelt

This author has not been identified. Look up 'William J. Knottenbelt' in Google

Mark Mestern

This author has not been identified. Look up 'Mark Mestern' in Google

Peter G. Harrison

This author has not been identified. Look up 'Peter G. Harrison' in Google

Pieter S. Kritzinger

This author has not been identified. Look up 'Pieter S. Kritzinger' in Google