Abstract probabilistic automata

B. Delahaye, J.-P. Katoen, K.G. Larsen, A. Legay, M.L. Pedersen, F. Sher, A. Wa̧sowski

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)66–116
Number of pages16
JournalInformation and Computation
Volume232
Early online date10 Oct 2013
DOIs
Publication statusPublished - 1 Nov 2013

Cite this