Sarah Chabane, Rabéa Ameur-Boulifa, Mohamed Mezghiche. Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications.
International conference on Embedded & Distributed Systems (EDiS 2017), Dec 2017, Oran, Algeria.
⟨hal-01666413⟩