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

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

Originalsprog	Engelsk
Titel	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
Redaktører	Steffen, B. (ed.)
Forlag	IEEE Computer Society Press
Publikationsdato	1998
Udgave	1384
Sider	263-280
ISBN (Trykt)	3540643567
Status	Udgivet - 1998
Begivenhed	Model Checking via Reachability Testing for Timed Automata - Varighed: 19 maj 2010 → …

Konference

Konference	Model Checking via Reachability Testing for Timed Automata
Periode	19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Aceto, L., Burgueño, A., & Larsen, K. G. (1998). Model Checking via Reachability Testing for Timed Automata. I Steffen, B. (ed.) (red.), 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 udg., s. 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. red. / Steffen, B. (ed.). 1384. udg. IEEE Computer Society Press, 1998. s. 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. i Steffen, B. (ed.) (red.), 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 udg, IEEE Computer Society Press, s. 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. red. / Steffen, B. (ed.). 1384. udg. IEEE Computer Society Press, 1998. s. 263-280.

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

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. I Steffen, B. (ed.), red., 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 udg. IEEE Computer Society Press. 1998. s. 263-280