Symbolic and parametric model checking of discrete-time Markov chains

C.F. Daws

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    110 Citations (Scopus)
    Original languageUndefined
    Title of host publicationTheoretical aspects of computing, ICTAC 2004
    EditorsZ. Liu, K Araki
    Place of PublicationBerlin
    PublisherSpringer
    Pages280-294
    ISBN (Print)3-540-25304-4
    Publication statusPublished - 2005

    Publication series

    Name3407

    Keywords

    • METIS-233689

    Cite this