Developing UPPAAL over 15 years

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

62 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftSoftware: Practice & Experience
Vol/bind41
Udgave nummer2
Sider (fra-til)133-142
Antal sider10
ISSN0038-0644
DOI
StatusUdgivet - jan. 2011
BegivenhedWorkshop on Tool Building in Formal Methods, ABZ 2010, Orford Canada -
Varighed: 22 feb. 2010 → …

Konference

KonferenceWorkshop on Tool Building in Formal Methods, ABZ 2010, Orford Canada
Periode22/02/2010 → …

Citationsformater