Protocol Synthesis from Time Petri Net Based Service Specification.

Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi

Browse the full ICPADS paper archive.