%0 Conference Paper %1 conf/popl/ShermanPH82 %A Sherman, Rivi %A Pnueli, Amir %A Harel, David %B POPL %D 1982 %E DeMillo, Richard A. %I ACM Press %K dblp %P 347-360 %T Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. %U http://dblp.uni-trier.de/db/conf/popl/popl82.html#ShermanPH82 %@ 0-89791-065-6

@inproceedings{conf/popl/ShermanPH82, added-at = {2018-11-06T00:00:00.000+0100}, author = {Sherman, Rivi and Pnueli, Amir and Harel, David}, biburl = {https://www.bibsonomy.org/bibtex/24c80fa55779097a3966e76bde34f601f/dblp}, booktitle = {POPL}, cdrom = {POPL/00001560.PDF}, crossref = {conf/popl/82}, editor = {DeMillo, Richard A.}, ee = {https://doi.org/10.1145/582153.582189}, interhash = {99b586d953e75129bf5c65ed18e349a0}, intrahash = {4c80fa55779097a3966e76bde34f601f}, isbn = {0-89791-065-6}, keywords = {dblp}, pages = {347-360}, publisher = {ACM Press}, timestamp = {2018-11-07T16:48:22.000+0100}, title = {Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl82.html#ShermanPH82}, year = 1982 }