![](/img/cover-not-exists.png)
[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Structure-aware computation of predicate abstraction
Cimatti, Alessandro, Dubrovin, Jori, Junttila, Tommi, Roveri, MarcoYear:
2009
Language:
english
DOI:
10.1109/fmcad.2009.5351149
File:
PDF, 210 KB
english, 2009