Publications of Grégoire Sutre with E. Paviot-Adet

Journal articles and book chapters

  1. F. Bréant, J.-M. Couvreur, F. Gilliers, F. Kordon, I. Mounier, E. Paviot-Adet, D. Poitrenaud, D. Regep, and G. Sutre. Modeling and verifying behavioral aspects. In F. Kordon and M. Lemoine, editors, Formal Methods for Embedded Distributed Systems · How to master the complexity, chapter 6, pages 171-211. Kluwer Academic, 2004. [doi] [bib]

This document was translated from BibTEX by bibtex2html