Decision Problems for Interval Markov Chains

Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski

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

Original language	English
Book series	Lecture Notes in Computer Science
Volume	6638
Pages (from-to)	274-285
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-642-21254-3
Publication status	Published - 2011

Access to Document

@inproceedings{697dd56a7e0c4289a47b0ea0a9ae16ec,

title = "Decision Problems for Interval Markov Chains",

author = "Beno{\^i}t Delahaye and Larsen, {Kim Guldstrand} and Axel Legay and Pedersen, {Mikkel Larsen} and Andrzej Wasowski",

year = "2011",

doi = "10.1007/978-3-642-21254-3",

language = "English",

volume = "6638",

pages = "274--285",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}

TY - GEN

T1 - Decision Problems for Interval Markov Chains

AU - Delahaye, Benoît

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Pedersen, Mikkel Larsen

AU - Wasowski, Andrzej

PY - 2011

Y1 - 2011

U2 - 10.1007/978-3-642-21254-3

DO - 10.1007/978-3-642-21254-3

M3 - Conference article

SN - 0302-9743

VL - 6638

SP - 274

EP - 285

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -