TY - JOUR T1 - Checking sequences for distributed test architectures JO - Distributed Computing PY - 2008/01/01 AU - Hierons RM AU - Ural H ED - DO - DOI: 10.1007/s00446-008-0062-4 PB - Springer Science and Business Media LLC VL - 21 IS - 3 SP - 223 EP - 238 Y2 - 2024/12/22 ER -