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 - 2025/04/13 ER -