TY  - JOUR

T1  - On the testability of SDL specifications

JO  - Computer Networks

UR  - https://doi.org/10.1016/j.comnet.2003.06.001

PY  - 2004/04/05

AU  - Hierons RM

AU  - Kim T-H

AU  - Ural H

ED  - 

DO  - DOI: 10.1016/j.comnet.2003.06.001

PB  - Elsevier BV

VL  - 44

IS  - 5

SP  - 681

EP  - 700

Y2  - 2025/11/05

ER  -