Sciweavers

ICNP
1995
IEEE

Protocol synthesis from timed and structured specifications

14 years 3 months ago
Protocol synthesis from timed and structured specifications
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where ICNP
Authors Akio Nakata, Teruo Higashino, Kenichi Taniguchi
Comments (0)