CSI: New Evidence - A Progress Report. Nagele, J., Felgenhauer, B., & Middeldorp, A. In CADE, volume 10395, of Lecture Notes in Computer Science, pages 385-397, 2017. Springer.
CSI: New Evidence - A Progress Report. [link]Link  CSI: New Evidence - A Progress Report. [link]Paper  bibtex   
@inproceedings{conf/cade/NageleFM17,
  added-at = {2018-11-02T00:00:00.000+0100},
  author = {Nagele, Julian and Felgenhauer, Bertram and Middeldorp, Aart},
  biburl = {https://www.bibsonomy.org/bibtex/277b3657ce27631272cc3bba22e07a422/dblp},
  booktitle = {CADE},
  crossref = {conf/cade/2017},
  editor = {de Moura, Leonardo},
  ee = {https://doi.org/10.1007/978-3-319-63046-5_24},
  interhash = {2b92407a36332fb903d5456cbfe583d7},
  intrahash = {77b3657ce27631272cc3bba22e07a422},
  isbn = {978-3-319-63046-5},
  keywords = {dblp},
  pages = {385-397},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T18:56:13.000+0200},
  title = {CSI: New Evidence - A Progress Report.},
  url = {http://dblp.uni-trier.de/db/conf/cade/cade2017.html#NageleFM17},
  volume = 10395,
  year = 2017
}
Downloads: 0