TY  - GEN

T1  - Checking Finite State Machine Conformance when there are Distributed Observations

T2  - arXiv

PY  - 2011/08/26

AU  - Hierons RM

ED  - 

DO  - DOI: 10.48550/arxiv.1108.5295

Y2  - 2025/11/05

ER  -