An Interface Theory for Timed Systems

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskningpeer review

86 Downloads (Pure)
OriginalsprogEngelsk
Publikationsdato2010
StatusUdgivet - 2010
Begivenhed20th International Workshop on Algebraic Development Techniques WADT 2010 -
Varighed: 1 jul. 20104 jul. 2010

Konference

Konference20th International Workshop on Algebraic Development Techniques WADT 2010
Periode01/07/201004/07/2010

Citationsformater