%0 Journal Article %1 journals/dc/Halpern00 %A Halpern, Joseph Y. %D 2000 %J Distributed Comput. %K dblp %N 3 %P 145-153 %T A note on knowledge-based programs and specifications. %U http://dblp.uni-trier.de/db/journals/dc/dc13.html#Halpern00 %V 13

@article{journals/dc/Halpern00, added-at = {2020-03-13T00:00:00.000+0100}, author = {Halpern, Joseph Y.}, biburl = {https://www.bibsonomy.org/bibtex/27c3f253e167d419f4065e26ada20e64c/dblp}, ee = {https://doi.org/10.1007/PL00008916}, interhash = {1b5aef10270f91785229a29f0e2c2395}, intrahash = {7c3f253e167d419f4065e26ada20e64c}, journal = {Distributed Comput.}, keywords = {dblp}, number = 3, pages = {145-153}, timestamp = {2020-03-14T11:50:42.000+0100}, title = {A note on knowledge-based programs and specifications.}, url = {http://dblp.uni-trier.de/db/journals/dc/dc13.html#Halpern00}, volume = 13, year = 2000 }