@inproceedings{inproceedings, title  = {{An Implementation Relation and Test Framework for Timed Distributed Systems}},

 publisher = {{Springer Berlin Heidelberg}},

 url = {{}},

 year = {{2013}},

 month = {{12}},

 author = {{Gaston C and Hierons RM and Le Gall P}},

 doi = {{10.1007/978-3-642-41707-8_6}},

 isbn = {{9783642417061}},

 pages = {{82-97}},

 note = {{Accessed on 2024/12/21}}}