Publications of Grégoire Sutre with T. Q. Tran

Conference articles

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