TY  - CONF

T1  - Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs)

UR  - https://doi.org/10.1007/978-3-540-24855-2_164

PY  - 2004/01/01

AU  - Derderian K

AU  - Hierons RM

AU  - Harman M

AU  - Guo Q

ED  - 

DO  - DOI: 10.1007/978-3-540-24855-2_164

PB  - Springer Berlin Heidelberg

SN  - 9783540223436

SP  - 1429

EP  - 1430

Y2  - 2025/11/05

ER  -