Originalsprog | Engelsk |
---|---|
Tidsskrift | Information and Computation |
Vol/bind | 232 |
Sider (fra-til) | 66-116 |
Antal sider | 50 |
ISSN | 0890-5401 |
DOI | |
Status | Udgivet - nov. 2013 |
Abstract Probabilistic Automata
Benoît Delahaye, Joost-Pieter Katoen, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Falak Sher, Andrzej Wasowski
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review