Ichiro Koshida

Publication Activity (10 Years)

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

Publications

Ichiro Koshida, Tadao Saito, Hiroshi Inose
Description and verification of protocol by temporal logic. Systems and Computers in Japan 18 (3) (1987)