Static Guard Analysis in Timed Automata Verification

Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim G. Larsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

44 Citationer (Scopus)
OriginalsprogEngelsk
TitelProceedings of TACAS 2003
ForlagIEEE Computer Society Press
Publikationsdato2003
Sider254-277
StatusUdgivet - 2003
BegivenhedStatic Guard Analysis in Timed Automata Verification -
Varighed: 19 maj 2010 → …

Konference

KonferenceStatic Guard Analysis in Timed Automata Verification
Periode19/05/2010 → …
NavnLecture Notes in Computer Science
Nummer2619
ISSN0302-9743

Citationsformater

Behrmann, G., Bouyer, P., Fleury, E., & Larsen, K. G. (2003). Static Guard Analysis in Timed Automata Verification. I Proceedings of TACAS 2003 (s. 254-277). IEEE Computer Society Press. Lecture Notes in Computer Science, Nr. 2619