TY  - CONF

T1  - Constraint-Based Oracles for Timed Distributed Systems

PY  - 2017/01/01

AU  - Benharrat N

AU  - Gaston C

AU  - Hierons RM

AU  - Lapitre A

AU  - Le Gall P

ED  - 

DO  - DOI: 10.1007/978-3-319-67549-7_17

PB  - Springer International Publishing

SN  - 9783319675480

SP  - 276

EP  - 292

Y2  - 2024/12/22

ER  -