Queue-less, uncentralized resource discovery: Formal specification and verification

Coti, C., Evangelista, S. et Klai, K.. 2015. « Queue-less, uncentralized resource discovery: Formal specification and verification ». In International Workshop on Petri Nets and Software Engineering (PNSE'15) (Brussels, Belgium, June 22-23, 2015) Coll. « CEUR Workshop Proceedings », vol. 1372. pp. 315-316. CEUR-WS.
Compte des citations dans Scopus : 2.

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-1372/paper19.pdf

Type de document:	Compte rendu de conférence
Éditeurs:	Éditeurs ORCID Moldt, D. NON SPÉCIFIÉ Rolke, H. NON SPÉCIFIÉ Storrle, H. NON SPÉCIFIÉ
Professeur:	Professeur Coti, Camille
Affiliation:	Autres
Date de dépôt:	09 mai 2023 20:17
Dernière modification:	27 juill. 2023 20:41
URI:	https://espace2.etsmtl.ca/id/eprint/26383

Actions (Authentification requise)

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