Sciweavers

5630 search results - page 10 / 1126
» Computability in Specification
Sort
View
ICNP
1995
IEEE
14 years 1 months ago
Protocol synthesis from timed and structured specifications
Akio Nakata, Teruo Higashino, Kenichi Taniguchi