Publications of Grégoire Sutre with F. Herbreteau

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]
  2. F. Herbreteau, F. Cassez, A. Finkel, O. Roux, and G. Sutre. Verification of Embedded Reactive Fiffo Systems. In Proc. 5th Latin American Symposium on Theoretical Informatics (LATIN'2002), Cancún, México, Apr. 2002, volume 2286 of Lecture Notes in Computer Science, pages 400-414. Springer, 2002. [ps] [doi] [bib]

This document was translated from BibTEX by bibtex2html