Publications of Jérôme Leroux with Vincent Penelle
Conference articles
-
Jérôme Leroux,
Vincent Penelle,
and Grégoire Sutre.
The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems.
In Franck Cassez and Jean-François Raskin, editors,
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings,
volume 8837 of Lecture Notes in Computer Science,
pages 248-263,
2014.
Springer.
[doi]
[bib]
-
Jérôme Leroux,
Vincent Penelle,
and Grégoire Sutre.
On the Context-Freeness Problem for Vector Addition Systems.
In 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013,
pages 43-52,
2013.
IEEE Computer Society.
[doi]
[bib]
This document was translated from BibTEX by
bibtex2html