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
ISBN (Print)978-0-7695-4387-1
Publication statusPublished - 2011

Cite this