TY - JOUR T1 - Overcoming controllability problems in distributed testing from an input output transition system JO - Distributed Computing UR - https://doi.org/10.1007/s00446-011-0153-5 PY - 2011/12/11 AU - Hierons RM ED - DO - DOI: 10.1007/s00446-011-0153-5 PB - Springer Science and Business Media LLC VL - 25 IS - 1 SP - 63 EP - 81 Y2 - 2025/11/05 ER -