An Interface Theory for Timed Systems

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

Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review

99 Downloads (Pure)

Originalsprog	Engelsk
Publikationsdato	2010
Status	Udgivet - 2010
Begivenhed	20th International Workshop on Algebraic Development Techniques WADT 2010 - Varighed: 1 jul. 2010 → 4 jul. 2010

Konference	20th International Workshop on Algebraic Development Techniques WADT 2010
Periode	01/07/2010 → 04/07/2010

Adgang til dokumentet

@conference{5d742992566f435091bb9563445d09ff,

title = "An Interface Theory for Timed Systems",

author = "Alexandre David and Larsen, {Kim Guldstrand} and Axel Legay and Ulrik Nyman and Andrzej Wasowski",

year = "2010",

language = "English",

note = "20th International Workshop on Algebraic Development Techniques WADT 2010 ; Conference date: 01-07-2010 Through 04-07-2010",

}