@inproceedings{DBLP:conf/csr/BenzmullerP15,
  author    = {Christoph Benzm{\"{u}}ller and
               Bruno Woltzenlogel Paleo},
  editor    = {Lev D. Beklemishev and
               Daniil V. Musatov},
  title     = {Interacting with Modal Logics in the Coq Proof Assistant},
  booktitle = {Computer Science - Theory and Applications - 10th International Computer
               Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
               13-17, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9139},
  pages     = {398--411},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-20297-6\_25},
  doi       = {10.1007/978-3-319-20297-6\_25},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/csr/BenzmullerP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"R8A6YEiBw9YubFvaZ","bibbaseid":"benzmller-paleo-interactingwithmodallogicsinthecoqproofassistant-2015","author_short":["Benzmüller, C.","Paleo, B. W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Bruno","Woltzenlogel"],"propositions":[],"lastnames":["Paleo"],"suffixes":[]}],"editor":[{"firstnames":["Lev","D."],"propositions":[],"lastnames":["Beklemishev"],"suffixes":[]},{"firstnames":["Daniil","V."],"propositions":[],"lastnames":["Musatov"],"suffixes":[]}],"title":"Interacting with Modal Logics in the Coq Proof Assistant","booktitle":"Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings","series":"Lecture Notes in Computer Science","volume":"9139","pages":"398–411","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-319-20297-6_25","doi":"10.1007/978-3-319-20297-6_25","timestamp":"Wed, 25 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/csr/BenzmullerP15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/csr/BenzmullerP15,\n author = {Christoph Benzm{\\\"{u}}ller and\n Bruno Woltzenlogel Paleo},\n editor = {Lev D. Beklemishev and\n Daniil V. Musatov},\n title = {Interacting with Modal Logics in the Coq Proof Assistant},\n booktitle = {Computer Science - Theory and Applications - 10th International Computer\n Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July\n 13-17, 2015, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9139},\n pages = {398--411},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-319-20297-6\\_25},\n doi = {10.1007/978-3-319-20297-6\\_25},\n timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/csr/BenzmullerP15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Benzmüller, C.","Paleo, B. W."],"editor_short":["Beklemishev, L. D.","Musatov, D. V."],"key":"DBLP:conf/csr/BenzmullerP15","id":"DBLP:conf/csr/BenzmullerP15","bibbaseid":"benzmller-paleo-interactingwithmodallogicsinthecoqproofassistant-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-20297-6_25"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/b/CBenzmueller.bib","dataSources":["TMLR8ZY4yQJ9bNyWt"],"keywords":[],"search_terms":["interacting","modal","logics","coq","proof","assistant","benzmüller","paleo"],"title":"Interacting with Modal Logics in the Coq Proof Assistant","year":2015}