Publications of Jérôme Leroux with Laure Petrucci


Journal articles and book chapters

  1. Sébastien Bardin, Alain Finkel, Jérôme Leroux, and Laure Petrucci. FAST: acceleration from theory to practice. International Journal on Software Tools for Technology Transfer (STTT), 10(5):401-424, 2008. [ps] [doi] [bib]

Conference articles

  1. Sébastien Bardin, Alain Finkel, Jérôme Leroux, and Laure Petrucci. FAST: Fast Acceleration of Symbolikc Transition Systems. In Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, volume 2725 of Lecture Notes in Computer Science, pages 118-121, 2003. Springer. [ps] [doi] [bib]


This document was translated from BibTEX by bibtex2html