Originalsprog | Engelsk |
---|---|
Tidsskrift | Logical Methods in Computer Science |
Vol/bind | 10 |
Udgave nummer | 3 |
Sider (fra-til) | 1-32 |
ISSN | 1860-5974 |
DOI | |
Status | Udgivet - 28 feb. 2014 |
Refinement and Difference for Probabilistic Automata
Kim Guldstrand Larsen, Benoit Delahaye, Uli Fahrenberg, Axel Legay
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
3
Citationer
(Scopus)