Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi. Chocolat/SMV: A Translator from CafeOBJ into SMV. In Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China. pages 416-420, IEEE Computer Society, 2005. [doi]
Abstract is missing.