@inproceedings{DBLP:conf/fossacs/BaulandSSSV07,
  author    = {Michael Bauland and
               Thomas Schneider and
               Henning Schnoor and
               Ilka Schnoor and
               Heribert Vollmer},
  title     = {The Complexity of Generalized Satisfiability for Linear Temporal Logic},
  booktitle = {Foundations of Software Science and Computational Structures, 10th
               International Conference, {FOSSACS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007,
               Braga, Portugal, March 24-April 1, 2007, Proceedings},
  pages     = {48--62},
  year      = {2007},
  crossref  = {DBLP:conf/fossacs/2007},
  url       = {https://doi.org/10.1007/978-3-540-71389-0\_5},
  doi       = {10.1007/978-3-540-71389-0\_5},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/BaulandSSSV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"3GZRcwTbfageEZ6Ai","bibbaseid":"bauland-schneider-schnoor-schnoor-vollmer-thecomplexityofgeneralizedsatisfiabilityforlineartemporallogic-2007","downloads":0,"creationDate":"2018-08-03T15:45:45.258Z","title":"The Complexity of Generalized Satisfiability for Linear Temporal Logic","author_short":["Bauland, M.","Schneider, T.","Schnoor, H.","Schnoor, I.","Vollmer, H."],"year":2007,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/06/3872-2.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Bauland"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Schneider"],"suffixes":[]},{"firstnames":["Henning"],"propositions":[],"lastnames":["Schnoor"],"suffixes":[]},{"firstnames":["Ilka"],"propositions":[],"lastnames":["Schnoor"],"suffixes":[]},{"firstnames":["Heribert"],"propositions":[],"lastnames":["Vollmer"],"suffixes":[]}],"title":"The Complexity of Generalized Satisfiability for Linear Temporal Logic","booktitle":"Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings","pages":"48–62","year":"2007","crossref":"DBLP:conf/fossacs/2007","url":"https://doi.org/10.1007/978-3-540-71389-0_5","doi":"10.1007/978-3-540-71389-0_5","timestamp":"Tue, 26 Jun 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/fossacs/BaulandSSSV07","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fossacs/BaulandSSSV07,\n author = {Michael Bauland and\n Thomas Schneider and\n Henning Schnoor and\n Ilka Schnoor and\n Heribert Vollmer},\n title = {The Complexity of Generalized Satisfiability for Linear Temporal Logic},\n booktitle = {Foundations of Software Science and Computational Structures, 10th\n International Conference, {FOSSACS} 2007, Held as Part of the Joint\n European Conferences on Theory and Practice of Software, {ETAPS} 2007,\n Braga, Portugal, March 24-April 1, 2007, Proceedings},\n pages = {48--62},\n year = {2007},\n crossref = {DBLP:conf/fossacs/2007},\n url = {https://doi.org/10.1007/978-3-540-71389-0\\_5},\n doi = {10.1007/978-3-540-71389-0\\_5},\n timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/fossacs/BaulandSSSV07},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bauland, M.","Schneider, T.","Schnoor, H.","Schnoor, I.","Vollmer, H."],"key":"DBLP:conf/fossacs/BaulandSSSV07","id":"DBLP:conf/fossacs/BaulandSSSV07","bibbaseid":"bauland-schneider-schnoor-schnoor-vollmer-thecomplexityofgeneralizedsatisfiabilityforlineartemporallogic-2007","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-71389-0_5"},"downloads":0},"search_terms":["complexity","generalized","satisfiability","linear","temporal","logic","bauland","schneider","schnoor","schnoor","vollmer"],"keywords":[],"authorIDs":[],"dataSources":["hFysW8E5JHW8bNdoX"]}