Detecting Deadlocks in Formal System Models with Condition Synchronization

Published in AVoCS, 2017

Recommended citation: Eduard Kamburjan, Michael Lienhardt. (2018). AVoCS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (76)