Quantitative analysis of real-time systems using priced timed automata

P. Bouyer, U. Fahrenberg, Kim Guldstrand Larsen, Nicholas Markey

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

42 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftCommunications of the A C M
Vol/bind54
Udgave nummer9
Sider (fra-til)78-87
Antal sider10
ISSN0001-0782
DOI
StatusUdgivet - 1 sep. 2011

Fingeraftryk Dyk ned i forskningsemnerne om 'Quantitative analysis of real-time systems using priced timed automata'. Sammen danner de et unikt fingeraftryk.

Citationsformater