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 journal › Article › peer-review
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 |
ID: 17959385