Mixing up nondeterminism and probability : a preliminary report

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    21 Citaten (Scopus)
    Originele taal-2Engels
    TitelProceedings 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)
    RedacteurenC. Baier
    Pagina's88-110
    DOI's
    StatusGepubliceerd - 1998

    Publicatie series

    NaamElectronic Notes in Theoretical Computer Science
    Volume22
    ISSN van geprinte versie1571-0061

    Citeer dit