@article{DBLP:journals/jolli/Hustadt01,
  author       = {Ullrich Hustadt},
  title        = {Temporal Logic: Mathematical Foundations and Computational Aspects,
                  Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger},
  journal      = {J. Log. Lang. Inf.},
  volume       = {10},
  number       = {3},
  pages        = {406--410},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011212908144},
  doi          = {10.1023/A:1011212908144},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Hustadt01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"8w6KT2stwTujm8nmb","bibbaseid":"hustadt-temporallogicmathematicalfoundationsandcomputationalaspectsvolume2dovmgabbaymarkareynoldsandmarcelofinger-2001","author_short":["Hustadt, U."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]}],"title":"Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger","journal":"J. Log. Lang. Inf.","volume":"10","number":"3","pages":"406–410","year":"2001","url":"https://doi.org/10.1023/A:1011212908144","doi":"10.1023/A:1011212908144","timestamp":"Thu, 17 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jolli/Hustadt01.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jolli/Hustadt01,\n author = {Ullrich Hustadt},\n title = {Temporal Logic: Mathematical Foundations and Computational Aspects,\n Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger},\n journal = {J. Log. Lang. Inf.},\n volume = {10},\n number = {3},\n pages = {406--410},\n year = {2001},\n url = {https://doi.org/10.1023/A:1011212908144},\n doi = {10.1023/A:1011212908144},\n timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jolli/Hustadt01.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U."],"key":"DBLP:journals/jolli/Hustadt01","id":"DBLP:journals/jolli/Hustadt01","bibbaseid":"hustadt-temporallogicmathematicalfoundationsandcomputationalaspectsvolume2dovmgabbaymarkareynoldsandmarcelofinger-2001","role":"author","urls":{"Paper":"https://doi.org/10.1023/A:1011212908144"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["temporal","logic","mathematical","foundations","computational","aspects","volume","dov","gabbay","mark","reynolds","marcelo","finger","hustadt"],"title":"Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger","year":2001}