%0 Conference Paper %1 conf/cav/TrinhCJ17 %A Trinh, Minh-Thai %A Chu, Duc-Hiep %A Jaffar, Joxan %B CAV (2) %D 2017 %E Majumdar, Rupak %E Kuncak, Viktor %I Springer %K dblp %P 399-418 %T Model Counting for Recursively-Defined Strings. %U http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#TrinhCJ17 %V 10427 %@ 978-3-319-63390-9

@inproceedings{conf/cav/TrinhCJ17, added-at = {2017-07-14T00:00:00.000+0200}, author = {Trinh, Minh-Thai and Chu, Duc-Hiep and Jaffar, Joxan}, biburl = {https://www.bibsonomy.org/bibtex/2b315728669ffd17eb2e206f8796fa7a2/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2017-2}, editor = {Majumdar, Rupak and Kuncak, Viktor}, ee = {https://doi.org/10.1007/978-3-319-63390-9_21}, interhash = {ef2f60019a908d434cbad67dd7465d06}, intrahash = {b315728669ffd17eb2e206f8796fa7a2}, isbn = {978-3-319-63390-9}, keywords = {dblp}, pages = {399-418}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:39:00.000+0200}, title = {Model Counting for Recursively-Defined Strings.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#TrinhCJ17}, volume = 10427, year = 2017 }