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 JournalJournal articleResearchpeer-review

Original languageEnglish
JournalJournal of Logic and Algebraic Programming
Volume81
Issue number3
Pages (from-to)209-266
ISSN2352-2208
Publication statusPublished - 2012

Cite this