Munenori Yamaguchi

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka
A Model Checking Method of Soundness for Workflow Nets. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2009)