Sciweavers

29046 search results - page 322 / 5810
» Computable Models
Sort
View
DAC
1995
ACM
15 years 8 months ago
Symbolic Modeling and Evaluation of Data Paths
Chuck Monahan, Forrest Brewer
MFCS
1991
Springer
15 years 8 months ago
Models for Concurrency
Mogens Nielsen