Sciweavers

71
Voted
WIA
2009
Springer

TAGED Approximations for Temporal Properties Model-Checking

15 years 3 months ago
TAGED Approximations for Temporal Properties Model-Checking
Roméo Courbis, Pierre-Cyrille Héam,
Added 25 May 2010
Updated 25 May 2010
Type Conference
Year 2009
Where WIA
Authors Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
Comments (0)