Decision Problems for Interval Markov Chains
- Benoît Delahaye,
- Kim Guldstrand Larsen,
- Axel Legay,
- Mikkel Larsen Pedersen,
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewOpen access
Publication Information
Output type
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 274-285Journal (Volume, Issue Number)
Lecture Notes in Computer Science (Volume 6638)Publication milestones
- Published - 2011
Publication status
Published - 2011
ISSN
0302-9743Publication IDs
- Scopus: 79957963574
Publication metrics
PlumX, opens in new tab
Captures
3
Mentions
1
