Consistency and refinement for Interval Markov Chains

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

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

Originalsprog	Engelsk
Tidsskrift	Journal of Logic and Algebraic Programming
Vol/bind	81
Udgave nummer	3
Sider (fra-til)	209-266
ISSN	2352-2208
Status	Udgivet - 2012

Citationsformater

@article{1238118e18bb4e239209f9a510276430,

title = "Consistency and refinement for Interval Markov Chains",

author = "Benoit Delahaye and Larsen, {Kim Guldstrand} and Axel Legay and Pedersen, {Mikkel Larsen} and Andrzej Wasowski",

year = "2012",

language = "English",

volume = "81",

pages = "209--266",

journal = "Journal of Logic and Algebraic Programming",

issn = "2352-2208",

publisher = "Pergamon Press",

number = "3",

}

TY - JOUR

T1 - Consistency and refinement for Interval Markov Chains

AU - Delahaye, Benoit

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Pedersen, Mikkel Larsen

AU - Wasowski, Andrzej

PY - 2012

Y1 - 2012

M3 - Journal article

VL - 81

SP - 209

EP - 266

JO - Journal of Logic and Algebraic Programming

JF - Journal of Logic and Algebraic Programming

SN - 2352-2208

IS - 3

ER -