Formally proving and enhancing a self-stabilising distributed algorithm

Coti, Camille, Lakos, Charles et 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.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

URL Officielle: https://ceur-ws.org/Vol-1591/paper17.pdf

Type de document:	Compte rendu de conférence
Professeur:	Professeur Coti, Camille
Affiliation:	Autres
Date de dépôt:	09 mai 2023 20:11
Dernière modification:	09 mai 2023 20:11
URI:	https://espace2.etsmtl.ca/id/eprint/26390

Actions (Authentification requise)

Dernière vérification avant le dépôt