%0 Journal Article %1 journals/jpdc/BabaogluR95 %A Babaoglu, Özalp %A Raynal, Michel %D 1995 %J J. Parallel Distributed Comput. %K dblp %N 2 %P 173-185 %T Specification and Verification of Dynamic Properties in Distributed Computations. %U http://dblp.uni-trier.de/db/journals/jpdc/jpdc28.html#BabaogluR95 %V 28

@article{journals/jpdc/BabaogluR95, added-at = {2020-02-22T00:00:00.000+0100}, author = {Babaoglu, Özalp and Raynal, Michel}, biburl = {https://www.bibsonomy.org/bibtex/2f03bde91d715f271da8ece2f937baf94/dblp}, ee = {https://www.wikidata.org/entity/Q59491560}, interhash = {db57b66a69c6fc3ead1ef305c1d2cc94}, intrahash = {f03bde91d715f271da8ece2f937baf94}, journal = {J. Parallel Distributed Comput.}, keywords = {dblp}, number = 2, pages = {173-185}, timestamp = {2020-02-25T12:48:05.000+0100}, title = {Specification and Verification of Dynamic Properties in Distributed Computations.}, url = {http://dblp.uni-trier.de/db/journals/jpdc/jpdc28.html#BabaogluR95}, volume = 28, year = 1995 }