Team s4

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2003
Project: s4

Project : s4

Section: Dissemination


Other elements of scientific life

Philippe Darondeau presented his work with √Čric Badouel on path-automatic specifications at a meeting of the IFIP-WG2.2 in Amsterdam (May 2003).


previous
next