Publications of Grégoire Sutre with A. Muscholl
Conference articles
-
A. Heussner,
J. Leroux,
A. Muscholl,
and G. Sutre.
Reachability Analysis of Communicating Pushdown Systems.
In Proc. 13th Int. Conf. Foundations of Software Science and Computation Structures (FOSSACS'10), Paphos, Cyprus, Mar. 2010,
volume 6014 of Lecture Notes in Computer Science,
pages 267-281.
Springer,
2010.
[doi]
[bib]
This document was translated from BibTEX by
bibtex2html