Formally proving and enhancing a self-stabilising distributed algorithm

Coti, Camille, Lakos, Charles and Petrucci, Laure. 2016. « Formally proving and enhancing a self-stabilising distributed algorithm ». In International Workshop on Petri Nets and Software Engineering (Toruń, Poland, June 20-21, 2016) Coll. « CEUR Workshop Proceedings », vol. 1591. pp. 255-274. CEUR-WS.
Compte des citations dans Scopus : 1.

The full text of this document is not available here.

Item Type:	Conference proceeding
Professor:	Professor Coti, Camille
Affiliation:	Autres
Date Deposited:	09 May 2023 20:11
Last Modified:	09 May 2023 20:11
URI:	https://espace2.etsmtl.ca/id/eprint/26390

Actions (login required)

View Item