%0 Conference Paper %1 conf/atva/GangeGS17 %A Gange, Graeme %A Ganty, Pierre %A Stuckey, Peter J. %B ATVA %D 2017 %E D'Souza, Deepak %E Kumar, K. Narayan %I Springer %K dblp %P 67-83 %T Fixing the State Budget: Approximation of Regular Languages with Small DFAs. %U http://dblp.uni-trier.de/db/conf/atva/atva2017.html#GangeGS17 %V 10482 %@ 978-3-319-68167-2

@inproceedings{conf/atva/GangeGS17, added-at = {2017-10-05T00:00:00.000+0200}, author = {Gange, Graeme and Ganty, Pierre and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2bb4cf70ef8f9f82a609551dab18bc4b2/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2017}, editor = {D'Souza, Deepak and Kumar, K. Narayan}, ee = {https://doi.org/10.1007/978-3-319-68167-2_5}, interhash = {42ffb6dc7fc701caf7a2d86a898db738}, intrahash = {bb4cf70ef8f9f82a609551dab18bc4b2}, isbn = {978-3-319-68167-2}, keywords = {dblp}, pages = {67-83}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:01.000+0200}, title = {Fixing the State Budget: Approximation of Regular Languages with Small DFAs.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2017.html#GangeGS17}, volume = 10482, year = 2017 }