dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Modelling Stochastic Systems

Model Checking of Stochastic Systems

Representing Large State Spaces

Deductive Verification of Stochastic Systems

Copyright © Mon Nov 2 21:19:51 2009 by Michael Ley (ley@uni-trier.de)