TY  - CONF

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

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  - 2024/12/22

ER  -