ITU

Consistency and refinement for Interval Markov Chains

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

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

View graph of relations

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

ID: 37314652