TY  - CONF

T1  - An Implementation Relation and Test Framework for Timed Distributed Systems

PY  - 2013/12/01

AU  - Gaston C

AU  - Hierons RM

AU  - Le Gall P

ED  - 

DO  - DOI: 10.1007/978-3-642-41707-8_6

PB  - Springer Berlin Heidelberg

SN  - 9783642417061

SP  - 82

EP  - 97

Y2  - 2024/12/22

ER  -