Refinement and Difference for Probabilistic Automata

Kim Guldstrand Larsen, Benoit Delahaye, Uli Fahrenberg, Axel Legay

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftLogical Methods in Computer Science
Vol/bind10
Udgave nummer3
Sider (fra-til)1-32
ISSN1860-5974
DOI
StatusUdgivet - 28 feb. 2014

Citationsformater