Decision Problems for Interval Markov Chains

Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6638
Sider (fra-til)274-285
ISSN0302-9743
DOI
StatusUdgivet - 2011

Citationsformater