Publications of Jérôme Leroux with Rémi Bonnet
Journal articles and book chapters
-
Rémi Bonnet,
Alain Finkel,
Jérôme Leroux,
and Marc Zeitoun.
Model Checking Vector Addition Systems with one zero-test.
Logical Methods in Computer Science,
8(2):11,
June 2012.
[url]
[pdf]
[doi]
[bib]
Conference articles
-
Rémi Bonnet,
Alain Finkel,
Jérôme Leroux,
and Marc Zeitoun.
Place-Boundedness for Vector Addition Systems with one zero-test.
In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, IMSc, Chennai, India,
volume 8 of Leibniz International Proceedings in Informatics (LIPIcs),
pages 192-203,
2010.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[url]
[doi]
[bib]
This document was translated from BibTEX by
bibtex2html