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 BibTeX
Copyright © Sat May 16 23:46:48 2009
by Michael Ley (ley@uni-trier.de)
