Validation of stochastic systems

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

    Research output: Book/ReportBook editingAcademic

    Original languageUndefined
    Place of PublicationBerlin
    PublisherSpringer
    Number of pages467
    ISBN (Print)3-540-22265-0
    DOIs
    Publication statusPublished - 2004

    Publication series

    NameLecture notes in computer science
    No.2925

    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; No. 2925). Berlin: Springer. https://doi.org/10.1007/b98484