![](/img/cover-not-exists.png)
[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - Theta: A framework for abstraction refinement-based model checking
Toth, Tamas, Hajdu, Akos, Vorcos, Andras, Micskei, Zoltan, Majzik, IstvanYear:
2017
Language:
english
DOI:
10.23919/FMCAD.2017.8102257
File:
PDF, 165 KB
english, 2017