Abstract Probabilistic Automata

Benoît Delahaye, Joost-Pieter Katoen, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Falak Sher, Andrzej Wasowski

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Original languageEnglish
JournalInformation and Computation
Volume232
Pages (from-to)66-116
Number of pages50
ISSN0890-5401
DOIs
Publication statusPublished - Nov 2013

Cite this