The following publications are possibly variants of this publication:
- An SMT-Based Approach to Bounded Model Checking of Designs in State Transition MatrixWeiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda. ieicet, 94-D(5):946-957, 2011. [doi]
- An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition MatrixWeiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda. iccsa 2011: 159-167 [doi]
- Model Checking of Software Design in State Transition MatrixTomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda. serp 2010: 507-513
- An SMT Approach to Bounded Model Checking of Design in State Transition MatrixWeiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe. iccsa 2010: 231-238 [doi]