Publications of Jérôme Leroux with Ph. Schnoebelen
Conference articles
-
Jérôme Leroux and Ph. Schnoebelen.
On Functions Weakly Computable by Petri Nets and Vector Addition Systems.
In Joël Ouaknine,
Igor Potapov,
and James Worrell, editors,
Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings,
volume 8762 of Lecture Notes in Computer Science,
pages 190-202,
2014.
Springer.
[url]
[doi]
[bib]
-
Sébastien Bardin,
Alain Finkel,
Jérôme Leroux,
and Ph. Schnoebelen.
Flat Acceleration in Symbolic Model Checking.
In Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings,
volume 3707 of Lecture Notes in Computer Science,
pages 474-488,
2005.
Springer.
[pdf]
[doi]
[bib]
This document was translated from BibTEX by
bibtex2html