%0 Conference Paper %1 conf/tamc/BournezDF12 %A Bournez, Olivier %A Dershowitz, Nachum %A Falkovich, Evgenia %B TAMC %D 2012 %E Agrawal, Manindra %E Cooper, S. Barry %E Li, Angsheng %I Springer %K dblp %P 525-536 %T Towards an Axiomatization of Simple Analog Algorithms. %U http://dblp.uni-trier.de/db/conf/tamc/tamc2012.html#BournezDF12 %V 7287 %@ 978-3-642-29951-3

@inproceedings{conf/tamc/BournezDF12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Bournez, Olivier and Dershowitz, Nachum and Falkovich, Evgenia}, biburl = {https://www.bibsonomy.org/bibtex/209a34b9f4dc121f2bbf722d9a8dc7ebf/dblp}, booktitle = {TAMC}, crossref = {conf/tamc/2012}, editor = {Agrawal, Manindra and Cooper, S. Barry and Li, Angsheng}, ee = {https://doi.org/10.1007/978-3-642-29952-0_49}, interhash = {cdaa4b3ffbc3dce473afd057aeecd509}, intrahash = {09a34b9f4dc121f2bbf722d9a8dc7ebf}, isbn = {978-3-642-29951-3}, keywords = {dblp}, pages = {525-536}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:44:58.000+0200}, title = {Towards an Axiomatization of Simple Analog Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/tamc/tamc2012.html#BournezDF12}, volume = 7287, year = 2012 }