Protocol synthesis from timed and structured specifications.

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

Browse the full ICNP paper archive.