Merkliste 
 1 Ergebnisse 
 
1

Verification of a self-configuration protocol for distribut..:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,
Salaün, Gwen ; Etchevers, Xavier ; De Palma, Noel.. - p. 1278-1283 , 2012