Sciweavers

11716 search results - page 258 / 2344
» Computable symbolic dynamics
Sort
View
DAC
1997
ACM
15 years 10 months ago
A Dynamic Design Estimation and Exploration Environment
Ole Bentz, Jan M. Rabaey, David Lidsky
CONCUR
1997
Springer
15 years 10 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan
EUROPAR
1997
Springer
15 years 10 months ago
Static and Dynamic Data Management in Networks
Friedhelm Meyer auf der Heide, Berthold Vöcki...