%0 Conference Paper %1 conf/sefm/CabodiCPPV17 %A Cabodi, Gianpiero %A Camurati, Paolo %A Palena, Marco %A Pasini, Paolo %A Vendraminetto, Danilo %B SEFM %D 2017 %E Cimatti, Alessandro %E Sirjani, Marjan %I Springer %K dblp %P 382-387 %T Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper). %U http://dblp.uni-trier.de/db/conf/sefm/sefm2017.html#CabodiCPPV17 %V 10469 %@ 978-3-319-66197-1

@inproceedings{conf/sefm/CabodiCPPV17, added-at = {2017-08-24T00:00:00.000+0200}, author = {Cabodi, Gianpiero and Camurati, Paolo and Palena, Marco and Pasini, Paolo and Vendraminetto, Danilo}, biburl = {https://www.bibsonomy.org/bibtex/2021c0214e8335b453c40816e2677ad51/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2017}, editor = {Cimatti, Alessandro and Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-319-66197-1_25}, interhash = {0fa3e3237b89284381891d50b5ba4da6}, intrahash = {021c0214e8335b453c40816e2677ad51}, isbn = {978-3-319-66197-1}, keywords = {dblp}, pages = {382-387}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:52:57.000+0200}, title = {Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper).}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2017.html#CabodiCPPV17}, volume = 10469, year = 2017 }