@article{article, title = {{Checking states and transitions of a set of communicating finite state machines}}, publisher = {{Elsevier BV}}, url = {{}}, year = {{2001}}, month = {{1}}, author = {{Hierons RM}}, doi = {{10.1016/s0141-9331(00)00097-1}}, volume = {{24}}, journal = {{Microprocessors and Microsystems}}, issue = {{9}}, pages = {{443-452}}, note = {{Accessed on 2025/05/25}}}