New Results on Abstract Probabilistic Automata

Benoit Delahaye, Joost-Pieter Katoen, Axel Legay, Mikkel Larsen Pedersen, Falak Sher, Andrzej Wasowski

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    OriginalsprogEngelsk
    Titel Application of Concurrency to System Design (ACSD) 2011 11th International Conference on
    ForlagIEEE Computer Society Press
    Publikationsdato2011
    Sider118-127
    ISBN (Trykt)978-0-7695-4387-1
    DOI
    StatusUdgivet - 2011

    Citationsformater