Automatic Abstraction Refinement for Timed Automata

Kim Guldstrand Larsen, Sebastian kupferschmid, Henning Dierks

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

35 Citationer (Scopus)
OriginalsprogEngelsk
TitelFormal Modeling and Analysis of Timed Systems
Antal sider15
ForlagIEEE Computer Society Press
Publikationsdato2007
Sider114-129
StatusUdgivet - 2007
Begivenhed5th International Conference on Formal Modelling and Analysis of Timed Systems - Salzburg, Østrig
Varighed: 3 okt. 20075 okt. 2007
Konferencens nummer: 5

Konference

Konference5th International Conference on Formal Modelling and Analysis of Timed Systems
Nummer5
LandØstrig
BySalzburg
Periode03/10/200705/10/2007
NavnLecture Notes in Computer Science
Nummer4763
ISSN0302-9743

Citer dette

Larsen, K. G., kupferschmid, S., & Dierks, H. (2007). Automatic Abstraction Refinement for Timed Automata. I Formal Modeling and Analysis of Timed Systems (s. 114-129). IEEE Computer Society Press. Lecture Notes in Computer Science, Nr. 4763
Larsen, Kim Guldstrand ; kupferschmid, Sebastian ; Dierks, Henning. / Automatic Abstraction Refinement for Timed Automata. Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, 2007. s. 114-129 (Lecture Notes in Computer Science; Nr. 4763).
@inproceedings{504d4580d57a11dc9f89000ea68e967b,
title = "Automatic Abstraction Refinement for Timed Automata",
author = "Larsen, {Kim Guldstrand} and Sebastian kupferschmid and Henning Dierks",
year = "2007",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "IEEE Computer Society Press",
number = "4763",
pages = "114--129",
booktitle = "Formal Modeling and Analysis of Timed Systems",
address = "United States",

}

Larsen, KG, kupferschmid, S & Dierks, H 2007, Automatic Abstraction Refinement for Timed Automata. i Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, Lecture Notes in Computer Science, nr. 4763, s. 114-129, 5th International Conference on Formal Modelling and Analysis of Timed Systems, Salzburg, Østrig, 03/10/2007.

Automatic Abstraction Refinement for Timed Automata. / Larsen, Kim Guldstrand; kupferschmid, Sebastian; Dierks, Henning.

Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, 2007. s. 114-129 (Lecture Notes in Computer Science; Nr. 4763).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Automatic Abstraction Refinement for Timed Automata

AU - Larsen, Kim Guldstrand

AU - kupferschmid, Sebastian

AU - Dierks, Henning

PY - 2007

Y1 - 2007

M3 - Article in proceeding

T3 - Lecture Notes in Computer Science

SP - 114

EP - 129

BT - Formal Modeling and Analysis of Timed Systems

PB - IEEE Computer Society Press

ER -

Larsen KG, kupferschmid S, Dierks H. Automatic Abstraction Refinement for Timed Automata. I Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press. 2007. s. 114-129. (Lecture Notes in Computer Science; Nr. 4763).