Sciweavers

21
Voted
TACAS
2000
Springer

Symbolic Reachability Analysis Based on SAT-Solvers

13 years 10 months ago
Symbolic Reachability Analysis Based on SAT-Solvers
Parosh Aziz Abdulla, Per Bjesse, Niklas Eén
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where TACAS
Authors Parosh Aziz Abdulla, Per Bjesse, Niklas Eén
Comments (0)