Abstract Probabilistic Automata

Benoit Delahaye, Joost-Pieter Katoen, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Falak Sher, Andrzej Wasowski

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

33 Citationer (Scopus)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6538
Sider (fra-til)324-339
ISSN0302-9743
DOI
StatusUdgivet - 2011
Begivenhed12th International Conference, VMCAI 2011 - Austin, TX, USA
Varighed: 23 jan. 201125 jan. 2011

Konference

Konference12th International Conference, VMCAI 2011
LandUSA
ByAustin, TX
Periode23/01/201125/01/2011

Citationsformater