Sciweavers

CAV
2000
Springer

IF: A Validation Environment for Timed Asynchronous Systems

14 years 3 months ago
IF: A Validation Environment for Timed Asynchronous Systems
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where CAV
Authors Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
Comments (0)