Symbolic and Parametric Model Checking of Discrete-Time Markov Chains

C.F. Daws

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Original languageUndefined
    Title of host publicationInternational Colloquium on Theoretical Aspects of Computing
    Place of PublicationGuiyang, China
    Pages-
    Publication statusPublished - 2004

    Keywords

    • METIS-221397

    Cite this

    Daws, C. F. (2004). Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. In International Colloquium on Theoretical Aspects of Computing (pp. -). Guiyang, China.