87

Suppes Predicate for Genetics and Natural Selection

Year:
2001
Language:
english
File:
PDF, 383 KB
english, 2001
90

Interpolant Learning and Reuse in SAT-Based Model Checking

Year:
2007
Language:
english
File:
PDF, 303 KB
english, 2007
91

Model checking with Boolean Satisfiability

Year:
2008
Language:
english
File:
PDF, 265 KB
english, 2008