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, }