%0 Conference Paper %1 conf/podc/MannaP87 %A Manna, Zohar %A Pnueli, Amir %B PODC %D 1987 %E Schneider, Fred B. %I ACM %K dblp %P 205 %T A Hierarchy of Temporal Properties (Abstract). %U http://dblp.uni-trier.de/db/conf/podc/podc87.html#MannaP87 %@ 0-89791-239-X

@inproceedings{conf/podc/MannaP87, added-at = {2018-11-06T00:00:00.000+0100}, author = {Manna, Zohar and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/20b8aa45c0a3eb24dec8554f6ad504d7e/dblp}, booktitle = {PODC}, crossref = {conf/podc/1987}, editor = {Schneider, Fred B.}, ee = {https://doi.org/10.1145/41840.41857}, interhash = {f0e84b629d142c1356915b3eae68ca8b}, intrahash = {0b8aa45c0a3eb24dec8554f6ad504d7e}, isbn = {0-89791-239-X}, keywords = {dblp}, pages = 205, publisher = {ACM}, timestamp = {2018-11-07T14:51:25.000+0100}, title = {A Hierarchy of Temporal Properties (Abstract).}, url = {http://dblp.uni-trier.de/db/conf/podc/podc87.html#MannaP87}, year = 1987 }