![](/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 - Interpolation-sequence based model checking
Vizel, Yakir, Grumberg, OrnaYear:
2009
Language:
english
DOI:
10.1109/fmcad.2009.5351148
File:
PDF, 213 KB
english, 2009