Sciweavers

CAV
2003
Springer

Enhanced Vacuity Detection in Linear Temporal Logic

14 years 4 months ago
Enhanced Vacuity Detection in Linear Temporal Logic
Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumber
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CAV
Authors Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
Comments (0)