Validation of Stochastic Systems : A Guide to Current Research

Baier, Christel and Haverkort, Boudewijn R. and Katoen, Joost-Pieter and Hermanns, Holger and Siegle, Markus , eds. (2004) Validation of Stochastic Systems : A Guide to Current Research. Lecture Notes in Computer Science, 2925 . Springer-Verlag, Berlin, Germany. ISBN 9783540222651

Preview

PDF
113Kb

Item Type:	Book
Copyright:	© 2004 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Design and Analysis of Communication Systems (DACS) Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/63629
Official URL:	http://dx.doi.org/10.1007/b98484
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Repository Staff Only: item control page