Sciweavers

9698 search results - page 41 / 1940
» models 2010
Sort
View
87
Voted
CAV
2010
Springer
172views Hardware» more  CAV 2010»
15 years 8 months ago
Quantifier Elimination by Lazy Model Enumeration
David Monniaux
CORR
2010
Springer
54views Education» more  CORR 2010»
15 years 4 months ago
A Simple Abstraction for Data Modeling
Nassib Nassar