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