APAC: A Tool for Reasoning about Abstract Probabilistic Automata

Benoit Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski

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

Original languageEnglish
Title of host publicationQuantitative Evaluation of Systems (QEST), 2011 8th International Conference
Number of pages2
PublisherIEEE Computer Society Press
Publication date2011
ISBN (Print)978-1-4577-0973-9
Publication statusPublished - 2011

Cite this