Publications of Grégoire Sutre with T. Q. Tran
Conference articles
-
F. Herbreteau,
G. Sutre,
and T. Q. Tran.
Unfolding Concurrent Well-Structured Transition Systems.
In Proc. 13th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), Braga, Portugal, Mar.-Apr. 2007,
volume 4424 of Lecture Notes in Computer Science,
pages 706-720.
Springer,
2007.
[ps]
[doi]
[bib]
This document was translated from BibTEX by
bibtex2html