Sciweavers

Share
ICSE
1992
IEEE-ACM

A Toolbox for the Verification of LOTOS Programs

12 years 6 months ago
A Toolbox for the Verification of LOTOS Programs
This paper presents the tools Ald
Jean-Claude Fernandez, Hubert Garavel, Laurent Mou
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where ICSE
Authors Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis
Comments (0)
books