Model Checking via Reachability Testing for Timed Automata

Luca Aceto; A. Burgueño; Kim Guldstrand Larsen

Model Checking via Reachability Testing for Timed Automata

Luca Aceto, A. Burgueño, Kim Guldstrand Larsen

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

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : Lecture Notes in Computer Science
Editors	Steffen, B. (ed.)
Publisher	IEEE Computer Society Press
Publication date	1998
Edition	1384
Pages	263-280
ISBN (Print)	3540643567
Publication status	Published - 1998
Event	Model Checking via Reachability Testing for Timed Automata - Duration: 19 May 2010 → …

Conference

Conference	Model Checking via Reachability Testing for Timed Automata
Period	19/05/2010 → …

AUB Link

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

Cite this

Aceto, L., Burgueño, A., & Larsen, K. G. (1998). Model Checking via Reachability Testing for Timed Automata. In Steffen, B. (ed.) (Ed.), Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science (1384 ed., pp. 263-280). IEEE Computer Society Press.

Aceto, Luca ; Burgueño, A. ; Larsen, Kim Guldstrand. / Model Checking via Reachability Testing for Timed Automata. Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. editor / Steffen, B. (ed.). 1384. ed. IEEE Computer Society Press, 1998. pp. 263-280

@inproceedings{21a48260003f11dab4d5000ea68e967b,

title = "Model Checking via Reachability Testing for Timed Automata",

author = "Luca Aceto and A. Burgue{\~n}o and Larsen, {Kim Guldstrand}",

note = "ISSN ; 0302-9743; Model Checking via Reachability Testing for Timed Automata ; Conference date: 19-05-2010",

year = "1998",

language = "English",

isbn = "3540643567",

pages = "263--280",

editor = "{Steffen, B. (ed.)}",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "1384",

}

Aceto, L, Burgueño, A & Larsen, KG 1998, Model Checking via Reachability Testing for Timed Automata. in Steffen, B. (ed.) (ed.), Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. 1384 edn, IEEE Computer Society Press, pp. 263-280, Model Checking via Reachability Testing for Timed Automata, 19/05/2010.

Model Checking via Reachability Testing for Timed Automata. / Aceto, Luca; Burgueño, A.; Larsen, Kim Guldstrand.
Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. ed. / Steffen, B. (ed.). 1384. ed. IEEE Computer Society Press, 1998. p. 263-280.

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

TY - GEN

T1 - Model Checking via Reachability Testing for Timed Automata

AU - Aceto, Luca

AU - Burgueño, A.

AU - Larsen, Kim Guldstrand

N1 - ISSN ; 0302-9743

PY - 1998

Y1 - 1998

M3 - Article in proceeding

SN - 3540643567

SP - 263

EP - 280

BT - Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998

A2 - Steffen, B. (ed.), null

PB - IEEE Computer Society Press

T2 - Model Checking via Reachability Testing for Timed Automata

Y2 - 19 May 2010

ER -

Aceto L, Burgueño A, Larsen KG. Model Checking via Reachability Testing for Timed Automata. In Steffen, B. (ed.), editor, Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. 1384 ed. IEEE Computer Society Press. 1998. p. 263-280