Project Title
A multi-formalism approach for designing of a reactive multi-system
Internal ID
17344
Principal Investigator
Status
Completed
Start Date
October 1, 2000
End Date
September 30, 2002
Investigators
Müller, Jean-Pierre
Amiguet, Matthieu
Organisations
Project Web Site
Identifiants
