| La vitrine de diffusion des publications et contributions des chercheurs de l'ÉTS |
| ENGLISH |
Liste des publications de "Storrle, 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. |
