Osamu Shirakawa

Publication Activity (10 Years)

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

Publications

Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. CAV (1992)