2004 | Book
Validation of Stochastic Systems
A Guide to Current Research
Editors: Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Publisher: Springer Berlin Heidelberg
Book Series : Lecture Notes in Computer Science
Included in: Professional Book Archive