TY  - JOUR

T1  - Checking states and transitions of a set of communicating finite state machines

JO  - Microprocessors and Microsystems

UR  - https://doi.org/10.1016/s0141-9331(00)00097-1

PY  - 2001/02/10

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1016/s0141-9331(00)00097-1

PB  - Elsevier BV

VL  - 24

IS  - 9

SP  - 443

EP  - 452

Y2  - 2025/11/05

ER  -