Consistency and refinement for Interval Markov Chains

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

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

Original language	English
Journal	Journal of Logic and Algebraic Programming
Volume	81
Issue number	3
Pages (from-to)	209-266
ISSN	2352-2208
Publication status	Published - 2012

Cite this

@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

SN - 2352-2208

VL - 81

SP - 209

EP - 266

JO - Journal of Logic and Algebraic Programming

JF - Journal of Logic and Algebraic Programming

IS - 3

ER -