[by] Hitoshi Ohsaki [et al.]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2005.3<M159-B37>
[by] Hitoshi Ohsaki [et al.]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2005.8<M159-B44>