%0 Conference Paper %1 conf/kbse/ShermanH19 %A Sherman, Elena %A Harris, Andrew %B ASE %D 2019 %I IEEE %K dblp %P 440-452 %T Accurate String Constraints Solution Counting with Weighted Automata. %U http://dblp.uni-trier.de/db/conf/kbse/ase2019.html#ShermanH19 %@ 978-1-7281-2508-4

@inproceedings{conf/kbse/ShermanH19, added-at = {2021-10-14T00:00:00.000+0200}, author = {Sherman, Elena and Harris, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/24cf16ce7b72a1abd4288b1e93373fb48/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2019}, ee = {https://doi.org/10.1109/ASE.2019.00049}, interhash = {4518898aae928c5f8ff8b9929f08e05f}, intrahash = {4cf16ce7b72a1abd4288b1e93373fb48}, isbn = {978-1-7281-2508-4}, keywords = {dblp}, pages = {440-452}, publisher = {IEEE}, timestamp = {2024-04-10T04:50:52.000+0200}, title = {Accurate String Constraints Solution Counting with Weighted Automata.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2019.html#ShermanH19}, year = 2019 }