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 tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bind232
Sider (fra-til)66-116
Antal sider50
ISSN0890-5401
DOI
StatusUdgivet - nov. 2013

Citationsformater