%0 Conference Paper %1 conf/sas/WolperB95 %A Wolper, Pierre %A Boigelot, Bernard %B SAS %D 1995 %E Mycroft, Alan %I Springer %K dblp %P 21-32 %T An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) %U http://dblp.uni-trier.de/db/conf/sas/sas95.html#WolperB95 %V 983 %@ 3-540-60360-3

@inproceedings{conf/sas/WolperB95, added-at = {2024-02-05T00:00:00.000+0100}, author = {Wolper, Pierre and Boigelot, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/220f77823916d9dd4f140d24cf3f0de61/dblp}, booktitle = {SAS}, crossref = {conf/sas/95}, editor = {Mycroft, Alan}, ee = {https://doi.org/10.1007/3-540-60360-3_30}, interhash = {279c8622a2c66d445dbe545ccaacd078}, intrahash = {20f77823916d9dd4f140d24cf3f0de61}, isbn = {3-540-60360-3}, keywords = {dblp}, pages = {21-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:10:32.000+0200}, title = {An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)}, url = {http://dblp.uni-trier.de/db/conf/sas/sas95.html#WolperB95}, volume = 983, year = 1995 }