- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j1 |      | Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Transactions 94-D(5): 946-957 (2011) |
| 2010 | ||
| c2 | | Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe: An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. ICCSA Workshops 2010: 231-238 |
| c1 |  | Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice 2010: 507-513 |
| 1 | Akira Fukuda | |
| 2 | Noriyuki Katahira | |
| 3 | Tetsuro Katayama | |
| 4 | Weiqiang Kong | |
| 5 | Michihiro Matsumoto | |
| 6 | Yuki Mizushima | |
| 7 | Masahiko Watanabe |
Data released under the ODC-BY 1.0 license — See also our legal information page