%0 Journal Article %1 journals/cacm/Keller76 %A Keller, Robert M. %D 1976 %J Commun. ACM %K dblp %N 7 %P 371-384 %T Formal Verification of Parallel Programs. %U http://dblp.uni-trier.de/db/journals/cacm/cacm19.html#Keller76 %V 19

@article{journals/cacm/Keller76, added-at = {2018-11-06T00:00:00.000+0100}, author = {Keller, Robert M.}, biburl = {https://www.bibsonomy.org/bibtex/225a9b7ef19f6df1113a9883b6b7a829e/dblp}, ee = {https://doi.org/10.1145/360248.360251}, interhash = {6625fcd76a7e62556f029336a01e9f6b}, intrahash = {25a9b7ef19f6df1113a9883b6b7a829e}, journal = {Commun. ACM}, keywords = {dblp}, number = 7, pages = {371-384}, timestamp = {2018-11-07T11:58:15.000+0100}, title = {Formal Verification of Parallel Programs.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm19.html#Keller76}, volume = 19, year = 1976 }