Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Noriyuki Katahira, Van Tang Nguyen, Hitoshi Ohsaki [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2012.1<M159-B136>
National Diet Library
Yoshiki Kinoshita [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.7<M159-B98>
National Diet Library
Keishi Okamoto, Makoto Takeyama [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.12<M159-B116>
National Diet Library
Makoto Takeyama [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2010.10<M159-B120>
National Diet Library
Eun Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, Osamu Mizuno [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2011.8<M159-B129>
National Diet Library
[by] Toshifusa Sekizawa [et al.]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2007.2<M159-B66>
National Diet Library
Tatsuya Abe, Takashi Higuchi, Rintaro Imai, Yoshiki Kinoshita, Satoshi Nakano, Keishi Okamoto, Masaya Saito, Makoto Takeyama [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.7<M159-B97>
National Diet Library
[by] Takamura HirokiResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2008.3<M159-B73>
National Diet Library
[by] Ichiro HasuoResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2006.10<M159-B57>
National Diet Library
[by] Yoshinori Tanabe, Koichi Takahashi, Masami HagiyaResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2008.4<M159-B70>
National Diet Library
[by] Hideaki Nishihara [et al.]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2008.8<M159-B74>
National Diet Library
Satoru Yoshida [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2008.12<M159-B93>
National Diet Library
[by] Eun-Hye Choi, Tatsuhiro Tsuchiya, Tohru KikunoResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2006.2<M159-B48>
National Diet Library
[by] Toshinori Takai, Hitoshi FurusawaResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2006.5<M159-B52>
National Diet Library
Yoshiki Kinoshita [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.6<M159-B94>
National Diet Library
[by] Hitoshi Ohsaki [et al.]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2005.3<M159-B37>
National Diet Library
[by] Koki Nishizawa, Yukiyoshi Kameyama, Yoshiki KinoshitaResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2007.4<M159-B67>
National Diet Library
[by] Stefano Berardi, 山形頼之Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2006.8<M159-B56>
National Diet Library
[by] Hiroki TakamuraResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2007.2<M159-B64>
National Diet Library
[by] Koki NishizawaResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2007.7<M159-B68>
National Diet Library