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