Tsuneki Ohashi

Publication Activity (10 Years)

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

Publications

Takeshi Yamakawa, Tsuneki Ohashi, Chikara Fukunaga
Development of an ML-based Verification Tool for Timed CSP Processes. CPA (2011)