%0 Conference Paper %1 conf/spin/FilieriFPV15 %A Filieri, Antonio %A Frias, Marcelo F. %A Pasareanu, Corina S. %A Visser, Willem %B SPIN %D 2015 %E Fischer, Bernd %E Geldenhuys, Jaco %I Springer %K dblp %P 222-241 %T Model Counting for Complex Data Structures. %U http://dblp.uni-trier.de/db/conf/spin/spin2015.html#FilieriFPV15 %V 9232 %@ 978-3-319-23403-8

@inproceedings{conf/spin/FilieriFPV15, added-at = {2017-06-15T00:00:00.000+0200}, author = {Filieri, Antonio and Frias, Marcelo F. and Pasareanu, Corina S. and Visser, Willem}, biburl = {https://www.bibsonomy.org/bibtex/25c57fa31f8117b08c771963e8d8f0207/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2015}, editor = {Fischer, Bernd and Geldenhuys, Jaco}, ee = {https://doi.org/10.1007/978-3-319-23404-5_15}, interhash = {63f8ff2cd2f8eb4469ec56e08bff4639}, intrahash = {5c57fa31f8117b08c771963e8d8f0207}, isbn = {978-3-319-23403-8}, keywords = {dblp}, pages = {222-241}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:05:46.000+0200}, title = {Model Counting for Complex Data Structures.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2015.html#FilieriFPV15}, volume = 9232, year = 2015 }