Publications of Jérôme Leroux with Julien Brusten


Conference articles

  1. 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