@article{journals/corr/BrockschmidtCIK15,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Brockschmidt, Marc and Cook, Byron and Ishtiaq, Samin and Khlaaf, Heidy and Piterman, Nir},
  biburl = {https://www.bibsonomy.org/bibtex/2b4948c0db80a941b67d41c0dc978c635/dblp},
  ee = {http://arxiv.org/abs/1512.08689},
  interhash = {8d1b8722f8171f660ec7594be85aae9c},
  intrahash = {b4948c0db80a941b67d41c0dc978c635},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T12:43:49.000+0200},
  title = {T2: Temporal Property Verification.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1512.html#BrockschmidtCIK15},
  volume = {abs/1512.08689},
  year = 2015
}

{"_id":"eqmrM5qEjWSeftkPg","bibbaseid":"brockschmidt-cook-ishtiaq-khlaaf-piterman-t2temporalpropertyverification-2015","authorIDs":[],"author_short":["Brockschmidt, M.","Cook, B.","Ishtiaq, S.","Khlaaf, H.","Piterman, N."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Brockschmidt"],"firstnames":["Marc"],"suffixes":[]},{"propositions":[],"lastnames":["Cook"],"firstnames":["Byron"],"suffixes":[]},{"propositions":[],"lastnames":["Ishtiaq"],"firstnames":["Samin"],"suffixes":[]},{"propositions":[],"lastnames":["Khlaaf"],"firstnames":["Heidy"],"suffixes":[]},{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2b4948c0db80a941b67d41c0dc978c635/dblp","ee":"http://arxiv.org/abs/1512.08689","interhash":"8d1b8722f8171f660ec7594be85aae9c","intrahash":"b4948c0db80a941b67d41c0dc978c635","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T12:43:49.000+0200","title":"T2: Temporal Property Verification.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1512.html#BrockschmidtCIK15","volume":"abs/1512.08689","year":"2015","bibtex":"@article{journals/corr/BrockschmidtCIK15,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Brockschmidt, Marc and Cook, Byron and Ishtiaq, Samin and Khlaaf, Heidy and Piterman, Nir},\n biburl = {https://www.bibsonomy.org/bibtex/2b4948c0db80a941b67d41c0dc978c635/dblp},\n ee = {http://arxiv.org/abs/1512.08689},\n interhash = {8d1b8722f8171f660ec7594be85aae9c},\n intrahash = {b4948c0db80a941b67d41c0dc978c635},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T12:43:49.000+0200},\n title = {T2: Temporal Property Verification.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1512.html#BrockschmidtCIK15},\n volume = {abs/1512.08689},\n year = 2015\n}\n\n","author_short":["Brockschmidt, M.","Cook, B.","Ishtiaq, S.","Khlaaf, H.","Piterman, N."],"key":"journals/corr/BrockschmidtCIK15","id":"journals/corr/BrockschmidtCIK15","bibbaseid":"brockschmidt-cook-ishtiaq-khlaaf-piterman-t2temporalpropertyverification-2015","role":"author","urls":{"Link":"http://arxiv.org/abs/1512.08689","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1512.html#BrockschmidtCIK15"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/nir piterman?items=1000","creationDate":"2020-05-20T12:56:32.425Z","downloads":0,"keywords":["dblp"],"search_terms":["temporal","property","verification","brockschmidt","cook","ishtiaq","khlaaf","piterman"],"title":"T2: Temporal Property Verification.","year":2015,"dataSources":["rQGF6JAEZAPDgRfrS"]}