Publications of Grégoire Sutre with E. Paviot-Adet
Journal articles and book chapters
-
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