Mixing up nondeterminism and probability : a preliminary report

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

    23 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 1st International Workshop on Probabilistic Methods in Verification (PROBMIV '98, Indianapolis IN, USA, June 19-20, 1998; satellite event to the 13th International IEEE Symposium on Logic in Computer Science, LICS '98)
    EditorsC. Baier
    Pages88-110
    DOIs
    Publication statusPublished - 1998

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    Volume22
    ISSN (Print)1571-0061

    Cite this