Sciweavers

142
Voted
CAV
2004
Springer
100views Hardware» more  CAV 2004»

An Experimental Evaluation of Ground Decision Procedures

16 years 1 months ago
An Experimental Evaluation of Ground Decision Procedures
Leonardo Mendonça de Moura, Harald Rue&szli
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CAV
Authors Leonardo Mendonça de Moura, Harald Rueß
Comments (0)