A. Kitajima

Publication Activity (10 Years)

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

Publications

Yosuke Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
Automatic monitor generation from regular expression based specifications for module interface verification. ISCAS (4) (2005)