Sciweavers

19700 search results - page 166 / 3940
» DNA-Based Computation Times
Sort
View
ICNP
1995
IEEE
15 years 8 months ago
Protocol synthesis from timed and structured specifications
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
REX
1991
15 years 8 months ago
An Old-Fashioned Recipe for Real Time
Martín Abadi, Leslie Lamport