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