Decision Problems for Interval Markov Chains

Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    OriginalsprogEngelsk
    BogserieLecture Notes in Computer Science
    Vol/bind6638
    Sider (fra-til)274-285
    ISSN0302-9743
    DOI
    StatusUdgivet - 2011

    Citationsformater