TY - JOUR T1 - Implementation relations and probabilistic schedulers in the distributed test architecture JO - Journal of Systems and Software PY - 2017/01/01 AU - Hierons RM AU - Núñez M ED - DO - DOI: 10.1016/j.jss.2017.03.011 PB - Elsevier BV VL - 132 SP - 319 EP - 335 Y2 - 2024/12/22 ER -