Manuel Núñez, Ismael Rodríguez
Conformance Testing Relations for Timed Systems
FATES, 2005.
@inproceedings{FATES-2005-NunezR,
author = "Manuel Núñez and Ismael Rodríguez",
booktitle = "{Revised Selected Papers of the Fifth International Workshop on Formal Approaches to Testing of Software}",
doi = "10.1007/11759744_8",
isbn = "3-540-34454-3",
pages = "103--117",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Conformance Testing Relations for Timed Systems}",
volume = 3997,
year = 2005,
}











