Publications of Jérôme Leroux with Julien Brusten
Conference articles
-
Bernard Boigelot,
Julien Brusten,
and Jérôme Leroux.
A Generalization of Semenov's Theorem to Automata over Real Numbers.
In Renate A. Schmidt, editor,
Automated Deduction, 22nd International Conference, CADE 2009, McGill University, Montreal,August 2 - 7, 2009 Proceedings,
volume 5663 of Lecture Notes in Computer Science,
pages 469-484,
2009.
Springer.
[pdf]
[doi]
[bib]
This document was translated from BibTEX by
bibtex2html