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
Published
| 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 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 17959385