Automated Test Generation from Timed Automata
Publication: Research - peer-review › Journal article
Standard
Automated Test Generation from Timed Automata. / Nielsen, Brian; Skou, Arne.
In: International Journal on Software Tools for Technology Transfer, 2002.Publication: Research - peer-review › Journal article
Harvard
Nielsen, B & Skou, A 2002, 'Automated Test Generation from Timed Automata' International Journal on Software Tools for Technology Transfer.
APA
Nielsen, B., & Skou, A. (2002). Automated Test Generation from Timed Automata. International Journal on Software Tools for Technology Transfer
CBE
Nielsen B, Skou A. 2002. Automated Test Generation from Timed Automata. International Journal on Software Tools for Technology Transfer.
MLA
Nielsen, Brian and ArneSkou. "Automated Test Generation from Timed Automata". International Journal on Software Tools for Technology Transfer. 2002.
Vancouver
Nielsen B, Skou A. Automated Test Generation from Timed Automata. International Journal on Software Tools for Technology Transfer. 2002.
Author
Bibtex
@article{2078b8609c2f11db8ed6000ea68e967b,
title = "Automated Test Generation from Timed Automata",
publisher = "Springer",
author = "Brian Nielsen and Arne Skou",
year = "2002",
journal = "International Journal on Software Tools for Technology Transfer",
issn = "1433-2779",
}
RIS
TY - JOUR
T1 - Automated Test Generation from Timed Automata
A1 - Nielsen,Brian
A1 - Skou,Arne
AU - Nielsen,Brian
AU - Skou,Arne
PB - Springer
PY - 2002
Y1 - 2002
JO - International Journal on Software Tools for Technology Transfer
JF - International Journal on Software Tools for Technology Transfer
SN - 1433-2779
ER -