![](/img/cover-not-exists.png)
[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information
Yin, Liangze, He, Fei, Gu, MingYear:
2013
Language:
english
DOI:
10.1109/TASE.2013.11
File:
PDF, 177 KB
english, 2013