@INPROCEEDINGS{Hei00a,
  author = {Heinemann, Bernhard},
  title = {Generalizing the Modal and Temporal Logic of Linear Time},
  booktitle = {Algebraic Methodology and Software Technology, 8th International
	Conference, AMAST 2000},
  year = {2000},
  editor = {Rus, T.},
  volume = {1816},
  series = LNCS,
  pages = {41--56},
  publisher = {Springer},
  keywords = {thi1}
}

{"_id":"tPy68rcbhR57bszst","bibbaseid":"heinemann-generalizingthemodalandtemporallogicoflineartime-2000","authorIDs":[],"author_short":["Heinemann, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Heinemann"],"firstnames":["Bernhard"],"suffixes":[]}],"title":"Generalizing the Modal and Temporal Logic of Linear Time","booktitle":"Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000","year":"2000","editor":[{"propositions":[],"lastnames":["Rus"],"firstnames":["T."],"suffixes":[]}],"volume":"1816","series":"Lecture Notes in Computer Science","pages":"41–56","publisher":"Springer","keywords":"thi1","bibtex":"@INPROCEEDINGS{Hei00a,\r\n author = {Heinemann, Bernhard},\r\n title = {Generalizing the Modal and Temporal Logic of Linear Time},\r\n booktitle = {Algebraic Methodology and Software Technology, 8th International\r\n\tConference, AMAST 2000},\r\n year = {2000},\r\n editor = {Rus, T.},\r\n volume = {1816},\r\n series = LNCS,\r\n pages = {41--56},\r\n publisher = {Springer},\r\n keywords = {thi1}\r\n}\r\n\r\n","author_short":["Heinemann, B."],"editor_short":["Rus, T."],"key":"Hei00a","id":"Hei00a","bibbaseid":"heinemann-generalizingthemodalandtemporallogicoflineartime-2000","role":"author","urls":{},"keyword":["thi1"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.238Z","downloads":0,"keywords":["thi1"],"search_terms":["generalizing","modal","temporal","logic","linear","time","heinemann"],"title":"Generalizing the Modal and Temporal Logic of Linear Time","year":2000,"dataSources":["t7rKiAbxugj4Agz8M"]}