ENGLISH |
Liste des publications de "Rolke, H."
Aller à 2015 Nombre de documents archivés : 1. 2015
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. |