| 2000 |
|---|
| 3 | | William J. Knottenbelt,
Peter G. Harrison,
Mark Mestern,
Pieter S. Kritzinger:
A probabilistic dynamic technique for the distributed generation of very large state spaces.
Perform. Eval. 39(1-4): 127-148 (2000) |
| 1998 |
|---|
| 2 | EE | William J. Knottenbelt,
Mark Mestern,
Peter G. Harrison,
Pieter S. Kritzinger:
Probability, Parallelism and the State Space Exploration Problem.
Computer Performance Evaluation (Tools) 1998: 165-179 |
| 1996 |
|---|
| 1 | | M. Bütow,
Mark Mestern,
C. Schapiro,
Pieter S. Kritzinger:
Performance Modelling with the Formal Specification Language SDL.
FORTE 1996: 213-228 |
