TY - JOUR T1 - Checking Finite State Machine Conformance when there are Distributed Observations JO - CoRR PY - 2011/01/01 AU - Hierons RM ED - VL - abs/1108.5295 Y2 - 2024/12/22 ER -