Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%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 = {2023-12-12T21:47:08.000+0100},
author = {Gange, Graeme and Ganty, Pierre and Stuckey, Peter J.},
biburl = {https://www.bibsonomy.org/bibtex/2bb4cf70ef8f9f82a609551dab18bc4b2/admin},
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 = {},
pages = {67-83},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T21:47:08.000+0100},
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
}