%0 Conference Paper %1 conf/cade/NageleFM17 %A Nagele, Julian %A Felgenhauer, Bertram %A Middeldorp, Aart %B CADE %D 2017 %E de Moura, Leonardo %I Springer %K dblp %P 385-397 %T CSI: New Evidence - A Progress Report. %U http://dblp.uni-trier.de/db/conf/cade/cade2017.html#NageleFM17 %V 10395 %@ 978-3-319-63046-5

@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 = {2024-04-09T18:55:05.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 }