%0 Journal Article %1 journals/tcs/MarinkovicGO19 %A Marinkovic, Bojan %A Glavan, Paola %A Ognjanovic, Zoran %D 2019 %J Theor. Comput. Sci. %K dblp %P 64-93 %T Proving properties of the Chord protocol using the ASM formalism. %U http://dblp.uni-trier.de/db/journals/tcs/tcs756.html#MarinkovicGO19 %V 756

@article{journals/tcs/MarinkovicGO19, added-at = {2019-01-18T00:00:00.000+0100}, author = {Marinkovic, Bojan and Glavan, Paola and Ognjanovic, Zoran}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26094e66fc54b26b231ddc36d60d13c45/dblp}, ee = {https://doi.org/10.1016/j.tcs.2018.10.025}, interhash = {de12cdf1e8f607fb80b90cfc4533ff3f}, intrahash = {6094e66fc54b26b231ddc36d60d13c45}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {64-93}, timestamp = {2019-09-27T08:04:20.000+0200}, title = {Proving properties of the Chord protocol using the ASM formalism.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs756.html#MarinkovicGO19}, volume = 756, year = 2019 }