Publications of Jérôme Leroux with Rémi Bonnet


Journal articles and book chapters

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

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