Decision Problems for Interval Markov Chains

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

15 Citationer (Scopus)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6638
Sider (fra-til)274-285
ISSN0302-9743
DOI
StatusUdgivet - 2011
BegivenhedInternational Conference on Language and Automata Theory and Applications (LATA 2011)) - Tarragona, Spanien
Varighed: 26 maj 201131 maj 2011
Konferencens nummer: 5

Konference

KonferenceInternational Conference on Language and Automata Theory and Applications (LATA 2011))
Nummer5
LandSpanien
ByTarragona
Periode26/05/201131/05/2011

Citationsformater