Decision Problems for Interval Markov Chains

Benoit Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	6638
Sider (fra-til)	274-285
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-21254-3_21
Status	Udgivet - 2011
Begivenhed	International Conference on Language and Automata Theory and Applications (LATA 2011)) - Tarragona, Spanien Varighed: 26 maj 2011 → 31 maj 2011 Konferencens nummer: 5

Konference	International Conference on Language and Automata Theory and Applications (LATA 2011))
Nummer	5
Land/Område	Spanien
By	Tarragona
Periode	26/05/2011 → 31/05/2011

Adgang til dokumentet

@inproceedings{0c648e8ed3224b2eb4e80b3b83d9a2e6,

title = "Decision Problems for Interval Markov Chains",

author = "Benoit 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_21",

language = "English",

volume = "6638",

pages = "274--285",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

note = "null ; Conference date: 26-05-2011 Through 31-05-2011",

}

TY - GEN

T1 - Decision Problems for Interval Markov Chains

AU - Delahaye, Benoit

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Pedersen, Mikkel Larsen

AU - Wasowski, Andrzej

N1 - Conference code: 5

PY - 2011

Y1 - 2011

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

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

M3 - Conference article in Journal

VL - 6638

SP - 274

EP - 285

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

Y2 - 26 May 2011 through 31 May 2011

ER -