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

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings : Lecture Notes in Computer Science
Editors	Halbwachs, N. : Peled, D. (eds.)
Publisher	IEEE Computer Society Press
Publication date	1999
Edition	1633
Pages	341-353
ISBN (Print)	3540662022
Publication status	Published - 1999
Event	Efficient Timed Reachability Analysis using Clock Difference Diagrams - Duration: 19 May 2010 → …

Conference

Conference	Efficient Timed Reachability Analysis using Clock Difference Diagrams
Period	19/05/2010 → …

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Behrmann, G., Larsen, K. G., Pearson, J., Weise, C., & Yi, W. (1999). Efficient Timed Reachability Analysis using Clock Difference Diagrams. In Halbwachs, N. : Peled, D. (eds.) (Ed.), Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings: Lecture Notes in Computer Science (1633 ed., pp. 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. editor / Halbwachs, N. : Peled, D. (eds.). 1633. ed. IEEE Computer Society Press, 1999. pp. 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. in Halbwachs, N. : Peled, D. (eds.) (ed.), Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings: Lecture Notes in Computer Science. 1633 edn, IEEE Computer Society Press, pp. 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. ed. / Halbwachs, N. : Peled, D. (eds.). 1633. ed. IEEE Computer Society Press, 1999. p. 341-353.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

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 -

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