%0 Conference Paper %1 conf/focs/Pnueli97 %A Pnueli, Amir %B FOCS %D 1997 %I IEEE Computer Society %K dblp %P 78 %T Two Decades of Temporal Logic: Achievements and Challenges (Abstract). %U http://dblp.uni-trier.de/db/conf/focs/focs97.html#Pnueli97 %@ 0-8186-8197-7

@inproceedings{conf/focs/Pnueli97, added-at = {2023-03-23T00:00:00.000+0100}, author = {Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/20fac5d820895dc74fcbc38a3891474cd/dblp}, booktitle = {FOCS}, crossref = {conf/focs/1997}, ee = {https://doi.ieeecomputersociety.org/10.1109/SFCS.1997.646095}, interhash = {1eb81558f74bc1ecbbe4ed47c59e539f}, intrahash = {0fac5d820895dc74fcbc38a3891474cd}, isbn = {0-8186-8197-7}, keywords = {dblp}, pages = 78, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:39:57.000+0200}, title = {Two Decades of Temporal Logic: Achievements and Challenges (Abstract).}, url = {http://dblp.uni-trier.de/db/conf/focs/focs97.html#Pnueli97}, year = 1997 }