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. Springer 2004 Lecture Notes in Computer Science 2925 ISBN 3-540-22265-0 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team