%0 Conference Paper %1 conf/ifip/Lamport83 %A Lamport, Leslie %B IFIP Congress %D 1983 %E Mason, R. E. A. %I North-Holland/IFIP %K dblp %P 657-668 %T What Good is Temporal Logic? %U http://dblp.uni-trier.de/db/conf/ifip/ifip83.html#Lamport83 %@ 0-444-86729-5

@inproceedings{conf/ifip/Lamport83, added-at = {2019-07-27T00:00:00.000+0200}, author = {Lamport, Leslie}, biburl = {https://www.bibsonomy.org/bibtex/2a0d09aec11e3ad54c381d085643bce6c/dblp}, booktitle = {IFIP Congress}, crossref = {conf/ifip/1983}, editor = {Mason, R. E. A.}, interhash = {d3bfa1aa714dbcca40ccc8c2bac034cd}, intrahash = {a0d09aec11e3ad54c381d085643bce6c}, isbn = {0-444-86729-5}, keywords = {dblp}, pages = {657-668}, publisher = {North-Holland/IFIP}, timestamp = {2019-07-30T11:50:21.000+0200}, title = {What Good is Temporal Logic?}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip83.html#Lamport83}, year = 1983 }