An Interface Theory for Timed Systems

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

Research output: Contribution to conference without publisher/journal › Conference abstract for conference › Research › peer-review

109 Downloads (Pure)

Original language	English
Publication date	2010
Publication status	Published - 2010
Event	20th International Workshop on Algebraic Development Techniques WADT 2010 - Duration: 1 Jul 2010 → 4 Jul 2010

Conference	20th International Workshop on Algebraic Development Techniques WADT 2010
Period	01/07/2010 → 04/07/2010

Access to Document

@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",

}