Automated Test Generation Timed Automata

Brian Nielsen; Arne Skou

Automated Test Generation Timed Automata

Department of Computer Science

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 : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings : Lecture Notes in Computer Science
Editors	Margaria, T. : Yi, W. (eds.)
Publisher	IEEE Computer Society Press
Publication date	2001
Edition	2031
Pages	343-357
ISBN (Print)	3540418652
Publication status	Published - 2001
Event	Automated Test Generation Timed Automata - Duration: 19 May 2010 → …

Conference

Conference	Automated Test Generation Timed Automata
Period	19/05/2010 → …

AUB Link

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

Cite this

Nielsen, B., & Skou, A. (2001). Automated Test Generation Timed Automata. In Margaria, T. : Yi, W. (eds.) (Ed.), Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science (2031 ed., pp. 343-357). IEEE Computer Society Press.

Nielsen, Brian ; Skou, Arne. / Automated Test Generation Timed Automata. Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. editor / Margaria, T. : Yi, W. (eds.). 2031. ed. IEEE Computer Society Press, 2001. pp. 343-357

@inproceedings{f8fe05c08ac111dbbb3d000ea68e967b,

title = "Automated Test Generation Timed Automata",

author = "Brian Nielsen and Arne Skou",

note = "ISSN ; 0302-9743; Automated Test Generation Timed Automata ; Conference date: 19-05-2010",

year = "2001",

language = "English",

isbn = "3540418652",

pages = "343--357",

editor = "{Margaria, T. : Yi, W. (eds.)}",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "2031",

}

Nielsen, B & Skou, A 2001, Automated Test Generation Timed Automata. in Margaria, T. : Yi, W. (eds.) (ed.), Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. 2031 edn, IEEE Computer Society Press, pp. 343-357, Automated Test Generation Timed Automata, 19/05/2010.

Automated Test Generation Timed Automata. / Nielsen, Brian ; Skou, Arne.
Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. ed. / Margaria, T. : Yi, W. (eds.). 2031. ed. IEEE Computer Society Press, 2001. p. 343-357.

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

TY - GEN

T1 - Automated Test Generation Timed Automata

AU - Nielsen, Brian

AU - Skou, Arne

N1 - ISSN ; 0302-9743

PY - 2001

Y1 - 2001

M3 - Article in proceeding

SN - 3540418652

SP - 343

EP - 357

BT - Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings

A2 - Margaria, T. : Yi, W. (eds.), null

PB - IEEE Computer Society Press

T2 - Automated Test Generation Timed Automata

Y2 - 19 May 2010

ER -

Nielsen B , Skou A. Automated Test Generation Timed Automata. In Margaria, T. : Yi, W. (eds.), editor, Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. 2031 ed. IEEE Computer Society Press. 2001. p. 343-357