FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

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

Coti, C., Evangelista, S. and 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.

The full text of this document is not available here.
Rechercher dans Google Scholar
Item Type: Conference proceeding
Editors:
Editors
ORCID
Moldt, D.
UNSPECIFIED
Rolke, H.
UNSPECIFIED
Storrle, H.
UNSPECIFIED
Professor:
Professor
Coti, Camille
Affiliation: Autres
Date Deposited: 09 May 2023 20:17
Last Modified: 27 Jul 2023 20:41
URI: https://espace2.etsmtl.ca/id/eprint/26383

Actions (login required)

View Item View Item