@inproceedings{5971ffbb89a34a25b63c2846f131b8ac,
title = "Towards an axiomatization of simple analog algorithms",
abstract = "We propose a formalization of analog algorithms, extending the framework of abstract state machines to continuous-time models of computation.",
author = "Olivier Bournez and Nachum Dershowitz and Evgenia Falkovich",
year = "2012",
month = may,
day = "18",
doi = "10.1007/978-3-642-29952-0\_49",
language = "English",
isbn = "9783642299513",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "525--536",
booktitle = "Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Proceedings",
note = "9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012 ; Conference date: 16-05-2012 Through 21-05-2012",
}