Abstract Probabilistic Automata

Benoît Delahaye; Joost-Pieter Katoen; Kim Guldstrand Larsen; Axel Legay; Mikkel Larsen Pedersen; Falak Sher; Andrzej Wasowski

doi:http://dx.doi.org/10.1016/j.ic.2013.10.002

Abstract Probabilistic Automata

Benoît Delahaye, Joost-Pieter Katoen, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Falak Sher, Andrzej Wasowski

Computer Science

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Information and Computation
Vol/bind	232
Sider (fra-til)	66-116
Antal sider	50
ISSN	0890-5401
DOI	https://doi.org/10.1016/j.ic.2013.10.002
Status	Udgivet - nov. 2013

Adgang til dokumentet

http://dx.doi.org/10.1016/j.ic.2013.10.002

Citationsformater

@article{6c95463f3f9d4433b1b832dee649f2b0,

title = "Abstract Probabilistic Automata",

author = "Beno{\^i}t Delahaye and Joost-Pieter Katoen and Larsen, {Kim Guldstrand} and Axel Legay and Pedersen, {Mikkel Larsen} and Falak Sher and Andrzej Wasowski",

year = "2013",

month = nov,

doi = "http://dx.doi.org/10.1016/j.ic.2013.10.002",

language = "English",

volume = "232",

pages = "66--116",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Academic Press",

}

TY - JOUR

T1 - Abstract Probabilistic Automata

AU - Delahaye, Benoît

AU - Katoen, Joost-Pieter

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Pedersen, Mikkel Larsen

AU - Sher, Falak

AU - Wasowski, Andrzej

PY - 2013/11

Y1 - 2013/11

U2 - http://dx.doi.org/10.1016/j.ic.2013.10.002

DO - http://dx.doi.org/10.1016/j.ic.2013.10.002

M3 - Journal article

VL - 232

SP - 66

EP - 116

JO - Information and Computation

JF - Information and Computation

SN - 0890-5401

ER -