Ariel Stulman, Simon Bloch, H. G. Mendelbaum. Remote Agent for Conformance Testing of Timed-Automata. In Thomas Fahringer, M. H. Hamza, editors, Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005. pages 358-363, IASTED/ACTA Press, 2005.
Abstract is missing.