Protocol Synthesis from Time Petri Net Based Service Specification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi. Protocol Synthesis from Time Petri Net Based Service Specification. In 1997 International Conference on Parallel and Distributed Systems (ICPADS 97), 11-13 December 1997, Seoul, Korea, Proceedings. pages 236-243, IEEE Computer Society, 1997. [doi]

This author has not been identified. Look up 'Hirozumi Yamaguchi' in GoogleThis author has not been identified. Look up 'Kozo Okano' in GoogleThis author has not been identified. Look up 'Teruo Higashino' in GoogleThis author has not been identified. Look up 'Kenichi Taniguchi' in Google

runs on WebDSL