%0 Conference Paper %1 conf/popl/MannaP87 %A Manna, Zohar %A Pnueli, Amir %B POPL %D 1987 %I ACM Press %K dblp %P 1-12 %T Specification and Verification of Concurrent Programs By Forall-Automata. %U http://dblp.uni-trier.de/db/conf/popl/popl87.html#MannaP87 %@ 0-89791-215-2

@inproceedings{conf/popl/MannaP87, added-at = {2018-11-06T00:00:00.000+0100}, author = {Manna, Zohar and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/236794a8fb1adc9a0afc6e2f62136a7e6/dblp}, booktitle = {POPL}, crossref = {conf/popl/1987}, ee = {https://doi.org/10.1145/41625.41626}, interhash = {090190ca9c4c82e1983a1cdfa46270c3}, intrahash = {36794a8fb1adc9a0afc6e2f62136a7e6}, isbn = {0-89791-215-2}, keywords = {dblp}, pages = {1-12}, publisher = {ACM Press}, timestamp = {2018-11-07T15:43:47.000+0100}, title = {Specification and Verification of Concurrent Programs By Forall-Automata.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl87.html#MannaP87}, year = 1987 }