Publications of Jérôme Leroux with Laure Petrucci
Journal articles and book chapters
-
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
-
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