Login / Signup
Mark Mestern
Publication Activity (10 Years)
Years Active: 1996-2000
Publications (10 Years): 0
</>
Publications
</>
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. Evaluation
39 (1-4) (2000)
William J. Knottenbelt
,
Mark Mestern
,
Peter G. Harrison
,
Pieter S. Kritzinger
Probability, Parallelism and the State Space Exploration Problem.
Computer Performance Evaluation (Tools)
(1998)
M. Bütow
,
Mark Mestern
,
C. Schapiro
,
Pieter S. Kritzinger
Performance Modelling with the Formal Specification Language SDL.
FORTE
(1996)