Validation of Stochastic Systems

Validation of Stochastic Systems 2004

maintained by Schloss Dagstuhl LZI at University of Trier