Lakhdar Akroun, Gwen Salaun, Lina Ye. Automated Analysis of Asynchronously Communicating Systems. 23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. Springer Verlag, 2016, SPIN'2016.
HAL Archives-Ouvertes,
Lakhdar Akroun, Gwen Salaun, Lina Ye. Automated Analysis of Asynchronously Communicating Systems.