Sciweavers

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