[Lecture Notes in Computer Science] Computer Performance Evaluation: Modelling Techniques and Tools Volume 2324 || PRISM: Probabilistic Symbolic Model Checker
Field, Tony, Harrison, Peter G., Bradley, Jeremy, Harder, UliVolume:
10.1007/3-
Year:
2002
Language:
english
DOI:
10.1007/3-540-46029-2_13
File:
PDF, 140 KB
english, 2002