Efficient Timed Reachability Analysis using Clock Difference Diagrams

Gerd Behrmann; Kim Guldstrand Larsen; J. Pearson; C. Weise; W. Yi

Efficient Timed Reachability Analysis using Clock Difference Diagrams

Gerd Behrmann, Kim Guldstrand Larsen, J. Pearson, C. Weise, W. Yi

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings : Lecture Notes in Computer Science
Redaktører	Halbwachs, N. : Peled, D. (eds.)
Forlag	IEEE Computer Society Press
Publikationsdato	1999
Udgave	1633
Sider	341-353
ISBN (Trykt)	3540662022
Status	Udgivet - 1999
Begivenhed	Efficient Timed Reachability Analysis using Clock Difference Diagrams - Varighed: 19 maj 2010 → …

Konference

Konference	Efficient Timed Reachability Analysis using Clock Difference Diagrams
Periode	19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Behrmann, G., Larsen, K. G., Pearson, J., Weise, C., & Yi, W. (1999). Efficient Timed Reachability Analysis using Clock Difference Diagrams. I Halbwachs, N. : Peled, D. (eds.) (red.), Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings: Lecture Notes in Computer Science (1633 udg., s. 341-353). IEEE Computer Society Press.

Behrmann, Gerd ; Larsen, Kim Guldstrand ; Pearson, J. et al. / Efficient Timed Reachability Analysis using Clock Difference Diagrams. Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings: Lecture Notes in Computer Science. red. / Halbwachs, N. : Peled, D. (eds.). 1633. udg. IEEE Computer Society Press, 1999. s. 341-353

@inproceedings{213a29109c2e11db8ed6000ea68e967b,

title = "Efficient Timed Reachability Analysis using Clock Difference Diagrams",

author = "Gerd Behrmann and Larsen, {Kim Guldstrand} and J. Pearson and C. Weise and W. Yi",

note = "ISSN ; 0302-9743; Efficient Timed Reachability Analysis using Clock Difference Diagrams ; Conference date: 19-05-2010",

year = "1999",

language = "English",

isbn = "3540662022",

pages = "341--353",

editor = "{Halbwachs, N. : Peled, D. (eds.)}",

booktitle = "Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "1633",

}

Behrmann, G, Larsen, KG, Pearson, J, Weise, C & Yi, W 1999, Efficient Timed Reachability Analysis using Clock Difference Diagrams. i Halbwachs, N. : Peled, D. (eds.) (red.), Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings: Lecture Notes in Computer Science. 1633 udg, IEEE Computer Society Press, s. 341-353, Efficient Timed Reachability Analysis using Clock Difference Diagrams, 19/05/2010.

Efficient Timed Reachability Analysis using Clock Difference Diagrams. / Behrmann, Gerd; Larsen, Kim Guldstrand; Pearson, J. et al.
Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings: Lecture Notes in Computer Science. red. / Halbwachs, N. : Peled, D. (eds.). 1633. udg. IEEE Computer Society Press, 1999. s. 341-353.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

TY - GEN

T1 - Efficient Timed Reachability Analysis using Clock Difference Diagrams

AU - Behrmann, Gerd

AU - Larsen, Kim Guldstrand

AU - Pearson, J.

AU - Weise, C.

AU - Yi, W.

N1 - ISSN ; 0302-9743

PY - 1999

Y1 - 1999

M3 - Article in proceeding

SN - 3540662022

SP - 341

EP - 353

BT - Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings

A2 - Halbwachs, N. : Peled, D. (eds.), null

PB - IEEE Computer Society Press

T2 - Efficient Timed Reachability Analysis using Clock Difference Diagrams

Y2 - 19 May 2010

ER -