Original language | English |
---|---|
Pages (from-to) | 66–116 |
Number of pages | 16 |
Journal | Information and Computation |
Volume | 232 |
Early online date | 10 Oct 2013 |
DOIs | |
Publication status | Published - 1 Nov 2013 |
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 journal › Article › peer-review