%0 Conference Paper %1 conf/jcit/MannaP90 %A Manna, Zohar %A Pnueli, Amir %B Jerusalem Conference on Information Technology %D 1990 %E Maor, Joshua %E Peled, Abraham %I IEEE Computer Society %K dblp %P 757-773 %T A temporal proof methodology for reactive systems. %U http://dblp.uni-trier.de/db/conf/jcit/jcit1990.html#MannaP90 %@ 0-8186-2078-1

@inproceedings{conf/jcit/MannaP90, added-at = {2023-03-24T00:00:00.000+0100}, author = {Manna, Zohar and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/29f4b5e8a1f01a2a2a764deb83f5b0eeb/dblp}, booktitle = {Jerusalem Conference on Information Technology}, crossref = {conf/jcit/1990}, editor = {Maor, Joshua and Peled, Abraham}, ee = {http://dl.acm.org/citation.cfm?id=100637}, interhash = {b1a2b12f99714997baedaa3a8fd446d3}, intrahash = {9f4b5e8a1f01a2a2a764deb83f5b0eeb}, isbn = {0-8186-2078-1}, keywords = {dblp}, pages = {757-773}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:33:20.000+0200}, title = {A temporal proof methodology for reactive systems.}, url = {http://dblp.uni-trier.de/db/conf/jcit/jcit1990.html#MannaP90}, year = 1990 }