@inproceedings{conf/tls/Stirling87,
  added-at = {2017-05-19T00:00:00.000+0200},
  author = {Stirling, Colin},
  biburl = {https://www.bibsonomy.org/bibtex/2fdccca066124e2a61f56bbf010f58332/dblp},
  booktitle = {Temporal Logic in Specification},
  crossref = {conf/tls/1987},
  editor = {Banieqbal, Behnam and Barringer, Howard and Pnueli, Amir},
  ee = {https://doi.org/10.1007/3-540-51803-7_19},
  interhash = {7c3aade85a60c961ab5a195aee84cb9b},
  intrahash = {fdccca066124e2a61f56bbf010f58332},
  isbn = {0-387-51803-7},
  keywords = {dblp},
  pages = {1-20},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2020-07-24T01:09:11.000+0200},
  title = {Comparing Linear and Branching Time Temporal Logics.},
  url = {http://dblp.uni-trier.de/db/conf/tls/tls1987.html#Stirling87},
  volume = 398,
  year = 1987
}

{"_id":"ATruQ7WHuLnHLCN9j","bibbaseid":"stirling-comparinglinearandbranchingtimetemporallogics-1987","author_short":["Stirling, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-19T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Stirling"],"firstnames":["Colin"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2fdccca066124e2a61f56bbf010f58332/dblp","booktitle":"Temporal Logic in Specification","crossref":"conf/tls/1987","editor":[{"propositions":[],"lastnames":["Banieqbal"],"firstnames":["Behnam"],"suffixes":[]},{"propositions":[],"lastnames":["Barringer"],"firstnames":["Howard"],"suffixes":[]},{"propositions":[],"lastnames":["Pnueli"],"firstnames":["Amir"],"suffixes":[]}],"ee":"https://doi.org/10.1007/3-540-51803-7_19","interhash":"7c3aade85a60c961ab5a195aee84cb9b","intrahash":"fdccca066124e2a61f56bbf010f58332","isbn":"0-387-51803-7","keywords":"dblp","pages":"1-20","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2020-07-24T01:09:11.000+0200","title":"Comparing Linear and Branching Time Temporal Logics.","url":"http://dblp.uni-trier.de/db/conf/tls/tls1987.html#Stirling87","volume":"398","year":"1987","bibtex":"@inproceedings{conf/tls/Stirling87,\n added-at = {2017-05-19T00:00:00.000+0200},\n author = {Stirling, Colin},\n biburl = {https://www.bibsonomy.org/bibtex/2fdccca066124e2a61f56bbf010f58332/dblp},\n booktitle = {Temporal Logic in Specification},\n crossref = {conf/tls/1987},\n editor = {Banieqbal, Behnam and Barringer, Howard and Pnueli, Amir},\n ee = {https://doi.org/10.1007/3-540-51803-7_19},\n interhash = {7c3aade85a60c961ab5a195aee84cb9b},\n intrahash = {fdccca066124e2a61f56bbf010f58332},\n isbn = {0-387-51803-7},\n keywords = {dblp},\n pages = {1-20},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2020-07-24T01:09:11.000+0200},\n title = {Comparing Linear and Branching Time Temporal Logics.},\n url = {http://dblp.uni-trier.de/db/conf/tls/tls1987.html#Stirling87},\n volume = 398,\n year = 1987\n}\n\n","author_short":["Stirling, C."],"editor_short":["Banieqbal, B.","Barringer, H.","Pnueli, A."],"key":"conf/tls/Stirling87","id":"conf/tls/Stirling87","bibbaseid":"stirling-comparinglinearandbranchingtimetemporallogics-1987","role":"author","urls":{"Link":"https://doi.org/10.1007/3-540-51803-7_19","Paper":"http://dblp.uni-trier.de/db/conf/tls/tls1987.html#Stirling87"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Stirling?items=1000","dataSources":["xbHk4ys6w3mB43db3"],"keywords":["dblp"],"search_terms":["comparing","linear","branching","time","temporal","logics","stirling"],"title":"Comparing Linear and Branching Time Temporal Logics.","year":1987}