Automated Test Generation Timed Automata

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelTools 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
RedaktørerMargaria, T. : Yi, W. (eds.)
ForlagIEEE Computer Society Press
Publikationsdato2001
Udgave2031
Sider343-357
ISBN (Trykt)3540418652
StatusUdgivet - 2001
BegivenhedAutomated Test Generation Timed Automata -
Varighed: 19 maj 2010 → …

Konference

KonferenceAutomated Test Generation Timed Automata
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

Citer dette

Nielsen, B., & Skou, A. (2001). Automated Test Generation Timed Automata. I Margaria, T. : Yi, W. (eds.) (red.), 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 udg., s. 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. red. / Margaria, T. : Yi, W. (eds.). 2031. udg. IEEE Computer Society Press, 2001. s. 343-357
@inproceedings{f8fe05c08ac111dbbb3d000ea68e967b,
title = "Automated Test Generation Timed Automata",
author = "Brian Nielsen and Arne Skou",
note = "ISSN ; 0302-9743",
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. i Margaria, T. : Yi, W. (eds.) (red.), 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 udg, IEEE Computer Society Press, s. 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. red. / Margaria, T. : Yi, W. (eds.). 2031. udg. IEEE Computer Society Press, 2001. s. 343-357.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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

ER -

Nielsen B, Skou A. Automated Test Generation Timed Automata. I Margaria, T. : Yi, W. (eds.), red., 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 udg. IEEE Computer Society Press. 2001. s. 343-357