Chenho Kung

Publication Activity (10 Years)

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

Publications

Chenho Kung
Response to "deliberations on Kung's process interface modeling". J. Syst. Softw. 15 (2) (1991)
Chenho Kung
Process interface modeling and consistency checking. J. Syst. Softw. 15 (2) (1991)
Yonglei Tao, Chenho Kung
Formal definition and verification of data flow diagrams. J. Syst. Softw. 16 (1) (1991)