%0 Journal Article %1 noauthororeditor %A ?, %D 2013 %K distributed_systems %T Verification of Distributed Algorithms

@article{noauthororeditor, added-at = {2017-06-25T23:55:05.000+0200}, author = {?}, biburl = {https://www.bibsonomy.org/bibtex/27d1aca45d5724bad0ffd414ce2a52c84/hernan}, description = {dagrep_v003_i004_p001_s13141.pdf}, interhash = {4864880bcd93ae9a19f3a73757c83d8c}, intrahash = {7d1aca45d5724bad0ffd414ce2a52c84}, keywords = {distributed_systems}, timestamp = {2017-06-25T23:55:05.000+0200}, title = {Verification of Distributed Algorithms}, year = 2013 }