Refinement and Difference for Probabilistic Automata

Kim Guldstrand Larsen, Benoit Delahaye, Uli Fahrenberg, Axel Legay

Research output: Contribution to journalConference article in JournalResearchpeer-review

3 Citations (Scopus)
Original languageEnglish
JournalLogical Methods in Computer Science
Volume10
Issue number3
Pages (from-to)1-32
ISSN1860-5974
DOIs
Publication statusPublished - 28 Feb 2014

Cite this