@article{DBLP:journals/jar/Fernandez-GagoHDFK05,
  author       = {M. Carmen Fern{\'{a}}ndez Gago and
                  Ullrich Hustadt and
                  Clare Dixon and
                  Michael Fisher and
                  Boris Konev},
  title        = {First-Order Temporal Verification in Practice},
  journal      = {J. Autom. Reason.},
  volume       = {34},
  number       = {3},
  pages        = {295--321},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10817-005-7354-1},
  doi          = {10.1007/S10817-005-7354-1},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/Fernandez-GagoHDFK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"h7LfyqaNyphze3Ehy","bibbaseid":"gago-hustadt-dixon-fisher-konev-firstordertemporalverificationinpractice-2005","author_short":["Gago, M. C. F.","Hustadt, U.","Dixon, C.","Fisher, M.","Konev, B."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["M.","Carmen","Fernández"],"propositions":[],"lastnames":["Gago"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Boris"],"propositions":[],"lastnames":["Konev"],"suffixes":[]}],"title":"First-Order Temporal Verification in Practice","journal":"J. Autom. Reason.","volume":"34","number":"3","pages":"295–321","year":"2005","url":"https://doi.org/10.1007/s10817-005-7354-1","doi":"10.1007/S10817-005-7354-1","timestamp":"Fri, 25 Dec 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/jar/Fernandez-GagoHDFK05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jar/Fernandez-GagoHDFK05,\n author = {M. Carmen Fern{\\'{a}}ndez Gago and\n Ullrich Hustadt and\n Clare Dixon and\n Michael Fisher and\n Boris Konev},\n title = {First-Order Temporal Verification in Practice},\n journal = {J. Autom. Reason.},\n volume = {34},\n number = {3},\n pages = {295--321},\n year = {2005},\n url = {https://doi.org/10.1007/s10817-005-7354-1},\n doi = {10.1007/S10817-005-7354-1},\n timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/jar/Fernandez-GagoHDFK05.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gago, M. C. F.","Hustadt, U.","Dixon, C.","Fisher, M.","Konev, B."],"key":"DBLP:journals/jar/Fernandez-GagoHDFK05","id":"DBLP:journals/jar/Fernandez-GagoHDFK05","bibbaseid":"gago-hustadt-dixon-fisher-konev-firstordertemporalverificationinpractice-2005","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10817-005-7354-1"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["first","order","temporal","verification","practice","gago","hustadt","dixon","fisher","konev"],"title":"First-Order Temporal Verification in Practice","year":2005}