Validation of stochastic systems

C Baier, Boudewijn R.H.M. Haverkort, H. Hermanns, Joost P. Katoen, M. Siegle

Research output: Book/ReportBookScientific

Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
ISBN (Print)3-540-22265-0
DOIs
Publication statusPublished - 2004
Externally publishedYes

Publication series

NameLecture notes in computer science

Keywords

  • METIS-218839

Cite this

Baier, C., Haverkort, B. R. H. M., Hermanns, H., Katoen, J. P., & Siegle, M. (2004). Validation of stochastic systems. (Lecture notes in computer science). Springer. https://doi.org/10.1007/b98484