TY - JOUR T1 - Testing from semi-independent communicating finite state machines with a slow environment JO - IEE Proceedings - Software Engineering PY - 1997/01/01 AU - Hierons RM ED - DO - DOI: 10.1049/ip-sen:19971789 PB - Institution of Engineering and Technology (IET) VL - 144 IS - 5-6 SP - 291 EP - 291 Y2 - 2024/12/22 ER -