New Results on 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

16 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftProceedings of the International Conference on Application of Concurrency to System Design
Sider (fra-til)118-127
ISSN1550-4808
DOI
StatusUdgivet - 2011
BegivenhedInternational Conference on Application of Concurrency to System Design - Newcastle Upon Tyne, Storbritannien
Varighed: 20 jun. 201124 jun. 2011
Konferencens nummer: 11

Konference

KonferenceInternational Conference on Application of Concurrency to System Design
Nummer11
LandStorbritannien
ByNewcastle Upon Tyne
Periode20/06/201124/06/2011

Bibliografisk note

Proceedings. Eleventh International Conference on Application of Concurrency to System Design (ACSD 2011). ISBN: 978-0-7695-4387-1.

Citationsformater