Validation of Stochastic Systems : A Guide to Current Research


Share/Save/Bookmark

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

open access
[img]
Preview
PDF
115kB
Item Type:Book
Additional information:Imported from research group DACS (ID number 420)
Copyright:© 2004 Springer
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
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