Mark Mestern

According to our database, Mark Mestern authored at least 3 papers between 1996 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

A probabilistic dynamic technique for the distributed generation of very large state spaces.

William J. Knottenbelt, Peter G. Harrison, Mark Mestern, Pieter S. Kritzinger

Perform. Evaluation, 2000

1998

Probability, Parallelism and the State Space Exploration Problem.

William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter S. Kritzinger

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

1996

Performance Modelling with the Formal Specification Language SDL.

M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger

Proceedings of the Formal Description Techniques IX: Theory, 1996