Kenjiroh Yamanaka

Publication Activity (10 Years)

Years Active: 1990-1991
Publications (10 Years): 0

Publications

Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu
Design and Implementation of an Application Interface for LOTOS Processors. FORTE (1991)
Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato
Incremental specification in LOTOS. PSTV (1990)