Validation of Stochastic Systems: A Guide to Current Researc

Validation of Stochastic Systems: A Guide to Current Researc

by: Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Print length: 467

Publication date: 2004-10-05

ISBN-10: 3540222650

ISBN-13: 9783540222651