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

71 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

Citer dette

David, A., Larsen, K. G., Legay, A., Nyman, U., & Wasowski, A. (2010). An Interface Theory for Timed Systems. Abstract fra 20th International Workshop on Algebraic Development Techniques WADT 2010, .
David, Alexandre ; Larsen, Kim Guldstrand ; Legay, Axel ; Nyman, Ulrik ; Wasowski, Andrzej. / An Interface Theory for Timed Systems. Abstract fra 20th International Workshop on Algebraic Development Techniques WADT 2010, .
@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",

}

David, A, Larsen, KG, Legay, A, Nyman, U & Wasowski, A 2010, 'An Interface Theory for Timed Systems', 20th International Workshop on Algebraic Development Techniques WADT 2010, 01/07/2010 - 04/07/2010.

An Interface Theory for Timed Systems. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

2010. Abstract fra 20th International Workshop on Algebraic Development Techniques WADT 2010, .

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskningpeer review

TY - ABST

T1 - An Interface Theory for Timed Systems

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Nyman, Ulrik

AU - Wasowski, Andrzej

PY - 2010

Y1 - 2010

M3 - Conference abstract for conference

ER -

David A, Larsen KG, Legay A, Nyman U, Wasowski A. An Interface Theory for Timed Systems. 2010. Abstract fra 20th International Workshop on Algebraic Development Techniques WADT 2010, .