Stone Duality for Markov Processes

Dexter Kozen, Kim Guldstrand Larsen, Radu Iulian Mardare, Prakash Panangaden

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

16 Citationer (Scopus)
OriginalsprogEngelsk
TitelLogic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
ForlagIEEE
Publikationsdato2013
Sider321-330
DOI
StatusUdgivet - 2013
Begivenhed28th Annual ACM/IEEE Symposium on Logic in Computer Science - New Orleans, Los Angeles, USA
Varighed: 25 jun. 201328 jun. 2013

Konference

Konference28th Annual ACM/IEEE Symposium on Logic in Computer Science
LandUSA
ByNew Orleans, Los Angeles
Periode25/06/201328/06/2013
NavnAnnual Symposium on Logic in Computer Science
ISSN1043-6871

Citationsformater