%0 Journal Article %1 journals/cacm/McCaffrey16 %A McCaffrey, Caitie %D 2016 %J Commun. ACM %K dblp %N 2 %P 52-55 %T The verification of a distributed system. %U http://dblp.uni-trier.de/db/journals/cacm/cacm59.html#McCaffrey16 %V 59

@article{journals/cacm/McCaffrey16, added-at = {2018-11-06T00:00:00.000+0100}, author = {McCaffrey, Caitie}, biburl = {https://www.bibsonomy.org/bibtex/23c465fa3cd1c63990ff291ec672a6656/dblp}, ee = {https://doi.org/10.1145/2844108}, interhash = {7cc77721c1cce9192550562c0f6fc0f4}, intrahash = {3c465fa3cd1c63990ff291ec672a6656}, journal = {Commun. ACM}, keywords = {dblp}, number = 2, pages = {52-55}, timestamp = {2018-11-07T11:53:16.000+0100}, title = {The verification of a distributed system.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm59.html#McCaffrey16}, volume = 59, year = 2016 }