Osamu Shirakawa

According to our database, Osamu Shirakawa authored at least 1 paper in 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1992

A Verification Procedure via Invariant for Extended Communicating Finite-State Machines.

Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992