E. Darusenkova, Natalia Shabaldina. Towards parallel composition of partial finite state machines: Checking safety property step-by-step. In 2016 IEEE East-West Design & Test Symposium, EWDTS 2016, Yerevan, Armenia, October 14-17, 2016. pages 1-4, IEEE, 2016. [doi]
Abstract is missing.