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

OriginalsprogEngelsk
TidsskriftJournal of Logic and Algebraic Programming
Vol/bind81
Udgave nummer3
Sider (fra-til)209-266
ISSN2352-2208
StatusUdgivet - 2012

Citationsformater