%0 Conference Paper %1 conf/tacas/BozzanoBCJRSS05 %A Bozzano, Marco %A Bruttomesso, Roberto %A Cimatti, Alessandro %A Junttila, Tommi A. %A van Rossum, Peter %A Schulz, Stephan %A Sebastiani, Roberto %B TACAS %D 2005 %E Halbwachs, Nicolas %E Zuck, Lenore D. %I Springer %K dblp %P 317-333 %T An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2005.html#BozzanoBCJRSS05 %V 3440 %@ 3-540-25333-5

@inproceedings{conf/tacas/BozzanoBCJRSS05, added-at = {2019-06-02T00:00:00.000+0200}, author = {Bozzano, Marco and Bruttomesso, Roberto and Cimatti, Alessandro and Junttila, Tommi A. and van Rossum, Peter and Schulz, Stephan and Sebastiani, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2e01bb132a50f233b654c9c8eb7c7e76e/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2005}, editor = {Halbwachs, Nicolas and Zuck, Lenore D.}, ee = {https://www.wikidata.org/entity/Q62041370}, interhash = {ee9122c1632efc7db1d84640197b3dc5}, intrahash = {e01bb132a50f233b654c9c8eb7c7e76e}, isbn = {3-540-25333-5}, keywords = {dblp}, pages = {317-333}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:36:53.000+0200}, title = {An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2005.html#BozzanoBCJRSS05}, volume = 3440, year = 2005 }