%0 Conference Paper %1 conf/gc/BorgstromNAG04 %A Borgström, Johannes %A Nestmann, Uwe %A Alima, Luc Onana %A Gurov, Dilian %B Global Computing %D 2004 %E Priami, Corrado %E Quaglia, Paola %I Springer %K dblp %P 250-265 %T Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. %U http://dblp.uni-trier.de/db/conf/gc/gc2004.html#BorgstromNAG04 %V 3267 %@ 3-540-24101-9

@inproceedings{conf/gc/BorgstromNAG04, added-at = {2022-01-03T00:00:00.000+0100}, author = {Borgström, Johannes and Nestmann, Uwe and Alima, Luc Onana and Gurov, Dilian}, biburl = {https://www.bibsonomy.org/bibtex/2c10692f53be9377aa65882168fe9a814/dblp}, booktitle = {Global Computing}, crossref = {conf/gc/2004}, editor = {Priami, Corrado and Quaglia, Paola}, ee = {https://doi.org/10.1007/978-3-540-31794-4_13}, interhash = {9accdf99891a5d3a008024b6eb8e130d}, intrahash = {c10692f53be9377aa65882168fe9a814}, isbn = {3-540-24101-9}, keywords = {dblp}, pages = {250-265}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T17:36:18.000+0200}, title = {Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.}, url = {http://dblp.uni-trier.de/db/conf/gc/gc2004.html#BorgstromNAG04}, volume = 3267, year = 2004 }