Second International Conference on the Quantitative Evaluation of Systems [front matter]
2000 ◽
Vol 52
(6)
◽
pp. 641-643