CASPA: Symbolic Model Checking of Stochastic Systems

G.W.M. Kuntz, M. Siegle

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of the 13th GI/ITG Conference Measureing, Modelling and Evaluation of Computer and Communication Systems
    EditorsR. German, A. Heindl
    Place of PublicationFrankfurt am Main
    PublisherVDE Verlag
    Pages465-468
    Number of pages4
    ISBN (Print)3-800-72945-8
    Publication statusPublished - 2006

    Publication series

    Name
    NumberTechnical

    Keywords

    • METIS-237886
    • EWI-8964

    Cite this