New Results on Abstract Probabilistic Automata

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publication Application of Concurrency to System Design (ACSD) 2011 11th International Conference on
    PublisherIEEE Computer Society Press
    Publication date2011
    Pages118-127
    ISBN (Print)978-0-7695-4387-1
    DOIs
    Publication statusPublished - 2011

    Cite this