@Book{Course27,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Expressive Logiken -- Theorie, Mechanisierung, Anwendungen},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 {2015},
  note =	 {Winter 2014/15, 2+2 SWS, 5 ECTS},
  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/200103?query=Benzmüller&sm=129212">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2014-EL/">webpage</a>},
}

{"_id":"y5nNQzGxYYwKdXBks","bibbaseid":"benzmller-expressivelogikentheoriemechanisierunganwendungen-2015","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"book","type":"book","keywords":"teaching,lecture course","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"title":"Expressive Logiken – Theorie, Mechanisierung, Anwendungen","publisher":"Freie Universität Berlin","year":"2015","note":"Winter 2014/15, 2+2 SWS, 5 ECTS","annote":"<a href=\"http://www.fu-berlin.de/vv/de/lv/200103?query=Benzmüller&sm=129212\">kvv</a>; <a href=\"http://page.mi.fu-berlin.de/cbenzmueller/2014-EL/\">webpage</a>","bibtex":"@Book{Course27,\n keywords =\t {teaching,lecture course},\n author =\t {Christoph Benzm{\\\"u}ller},\n title =\t {Expressive Logiken -- Theorie, Mechanisierung, Anwendungen},\n publisher =\t {Freie Universit{\\\"a}t Berlin},\n year =\t {2015},\n note =\t {Winter 2014/15, 2+2 SWS, 5 ECTS},\n annote = {<a href=\"http://www.fu-berlin.de/vv/de/lv/200103?query=Benzmüller&sm=129212\">kvv</a>; <a href=\"http://page.mi.fu-berlin.de/cbenzmueller/2014-EL/\">webpage</a>},\n}\n\n","author_short":["Benzmüller, C."],"key":"Course27","id":"Course27","bibbaseid":"benzmller-expressivelogikentheoriemechanisierunganwendungen-2015","role":"author","urls":{},"keyword":["teaching","lecture course"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/teaching.bib","dataSources":["xAY8GPbjmJsqN99Q8"],"keywords":["teaching","lecture course"],"search_terms":["expressive","logiken","theorie","mechanisierung","anwendungen","benzmüller"],"title":"Expressive Logiken – Theorie, Mechanisierung, Anwendungen","year":2015}