Vol-1371⫷ Vol-1372 ⫸Vol-1373
urn:nbn:de:0074-1372-0


Vol-1372/paper18⫷Vol-1372/paper19⫸Vol-1372/paper20
Kaïs KlaiSami EvangelistaCamille Coti

Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification