@inproceedings{DBLP:conf/fates/NunezR05,
author = {Manuel N{\'u}{\~n}ez and
Ismael Rodr\'{\i}guez},
title = {Conformance Testing Relations for Timed Systems},
booktitle = {FATES},
year = {2005},
pages = {103-117},
ee = {http://dx.doi.org/10.1007/11759744_8},
crossref = {DBLP:conf/fates/2005},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fates/2005,
editor = {Wolfgang Grieskamp and
Carsten Weise},
title = {Formal Approaches to Software Testing, 5th International
Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised
Selected Papers},
booktitle = {FATES},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3997},
year = {2006},
isbn = {3-540-34454-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}