TY  - JOUR

T1  - Implementation relations and test generation for systems with distributed interfaces

JO  - Distributed Computing

PY  - 2012/01/01

AU  - Hierons RM

AU  - Merayo MG

AU  - Núñez M

ED  - 

DO  - DOI: 10.1007/s00446-011-0149-1

PB  - Springer Science and Business Media LLC

VL  - 25

IS  - 1

SP  - 35

EP  - 62

Y2  - 2024/12/22

ER  -