Abstract probabilistic automata

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

doi:10.1016/j.ic.2013.10.002

Abstract probabilistic automata

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

Department of Computer Science

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	https://doi.org/10.1016/j.ic.2013.10.002
Publication status	Published - 1 Nov 2013

Access to Document

10.1016/j.ic.2013.10.002

http://www.sciencedirect.com/science/article/pii/S0890540113001132

Cite this

@article{0f5b65a5f4d64b80868fc5f5e38651cf,

title = "Abstract probabilistic automata",

author = "B. Delahaye and J.-P. Katoen and K.G. Larsen and A. Legay and M.L. Pedersen and F. Sher and A. W{\c a}sowski",

year = "2013",

month = nov,

day = "1",

doi = "10.1016/j.ic.2013.10.002",

language = "English",

volume = "232",

pages = "66–116",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

}

TY - JOUR

T1 - Abstract probabilistic automata

AU - Delahaye, B.

AU - Katoen, J.-P.

AU - Larsen, K.G.

AU - Legay, A.

AU - Pedersen, M.L.

AU - Sher, F.

AU - Wa̧sowski, A.

PY - 2013/11/1

Y1 - 2013/11/1

UR - https://www.scopus.com/pages/publications/79251601478

U2 - 10.1016/j.ic.2013.10.002

DO - 10.1016/j.ic.2013.10.002

M3 - Article

AN - SCOPUS:79251601478

SN - 0890-5401

VL - 232

SP - 66

EP - 116

JO - Information and Computation

JF - Information and Computation

ER -

Abstract probabilistic automata

Access to Document

Other files and links

Cite this