TY - JOUR T1 - Overcoming controllability problems in distributed testing from an input output transition system JO - Distributed Computing PY - 2012/01/01 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 - 2024/12/22 ER -