%0 Conference Paper %1 conf/focs/Pnueli77 %A Pnueli, Amir %B FOCS %D 1977 %I IEEE Computer Society %K dblp %P 46-57 %T The Temporal Logic of Programs %U http://dblp.uni-trier.de/db/conf/focs/focs77.html#Pnueli77

@inproceedings{conf/focs/Pnueli77, added-at = {2023-03-23T00:00:00.000+0100}, author = {Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/29ae8d3a82b4ff256e9b6d33ae1ad7815/dblp}, booktitle = {FOCS}, crossref = {conf/focs/FOCS18}, ee = {https://www.wikidata.org/entity/Q55954180}, interhash = {967f89340d4bbc9751bfcd2c3478764d}, intrahash = {9ae8d3a82b4ff256e9b6d33ae1ad7815}, keywords = {dblp}, pages = {46-57}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:22:02.000+0200}, title = {The Temporal Logic of Programs}, url = {http://dblp.uni-trier.de/db/conf/focs/focs77.html#Pnueli77}, year = 1977 }