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

In: Information and Computation, Vol. 232, 01.11.2013, p. 66–116.

Research output: Contribution to journalArticle

Published
  • B. Delahaye
  • J.-P. Katoen
  • K.G. Larsen
  • A. Legay
  • M.L. Pedersen
  • F. Sher
  • A. Wa̧sowski
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
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 17959385