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.1007/978-3-642-18275-4_23

Abstract Probabilistic Automata

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

Computer Science

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Original language	Undefined/Unknown
Book series	Lecture Notes in Computer Science
Volume	6538
Pages (from-to)	324-339
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-642-18275-4_23
Publication status	Published - 2011

Access to Document

http://dx.doi.org/10.1007/978-3-642-18275-4_23

Cite this

@inproceedings{4f5abd05d0ae49a99b7f08b3c9f6610c,

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 = "2011",

doi = "http://dx.doi.org/10.1007/978-3-642-18275-4_23",

language = "Udefineret/Ukendt",

volume = "6538",

pages = "324--339",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}

TY - GEN

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 - 2011

Y1 - 2011

U2 - http://dx.doi.org/10.1007/978-3-642-18275-4_23

DO - http://dx.doi.org/10.1007/978-3-642-18275-4_23

M3 - Konferenceartikel

VL - 6538

SP - 324

EP - 339

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -