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 BibTeX

Modelling Stochastic Systems

Model Checking of Stochastic Systems

Representing Large State Spaces

Deductive Verification of Stochastic Systems

Copyright © Sat May 16 23:46:48 2009 by Michael Ley (ley@uni-trier.de)