![](/img/cover-not-exists.png)
[IEEE 2011 International Conference on Computational Science and Its Applications (ICCSA) - Santander, Spain (2011.06.20-2011.06.23)] 2011 International Conference on Computational Science and Its Applications - An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix
Kong, Weiqiang, Katahira, Noriyuki, Qian, Wanpeng, Watanabe, Masahiko, Katayama, Tetsuro, Fukuda, AkiraYear:
2011
Language:
english
DOI:
10.1109/ICCSA.2011.30
File:
PDF, 422 KB
english, 2011