%0 Journal Article %1 journals/njc/SereW01 %A Sere, Kaisa %A Waldén, Marina %D 2001 %J Nord. J. Comput. %K dblp %N 2 %P 193-218 %T Structuring and Verifying Distributed Algorithms. %U http://dblp.uni-trier.de/db/journals/njc/njc8.html#SereW01 %V 8

@article{journals/njc/SereW01, added-at = {2019-01-15T00:00:00.000+0100}, author = {Sere, Kaisa and Waldén, Marina}, biburl = {https://www.bibsonomy.org/bibtex/2dcf48d82c9b994809039fce152132dc2/dblp}, ee = {http://www.cs.helsinki.fi/njc/References/serew:193.html}, interhash = {48efbf3f0b38489fcde8e26f7c1f70d7}, intrahash = {dcf48d82c9b994809039fce152132dc2}, journal = {Nord. J. Comput.}, keywords = {dblp}, number = 2, pages = {193-218}, timestamp = {2019-01-16T11:35:30.000+0100}, title = {Structuring and Verifying Distributed Algorithms.}, url = {http://dblp.uni-trier.de/db/journals/njc/njc8.html#SereW01}, volume = 8, year = 2001 }