Validation of Stochastic Systems
Validation of Stochastic Systems 2004
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (Eds.):
Validation of Stochastic Systems - A Guide to Current Research.
Lecture Notes in Computer Science 2925 Springer 2004, ISBN 3-540-22265-0
Contents 
Copyright © Fri Dec 11 20:19:53 2009
by Michael Ley (ley@uni-trier.de)
