ENGLISH |
Liste des publications de "Rolke, H."
Aller à Compte rendu de conférence Nombre de documents archivés : 1. Compte rendu de conférence
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.
p. 315-316.
CEUR-WS. |