4. |
Proof [United States]: Over Time Records; p2004
|
BIBFRAME Instances
|
Instance |
|
13989189 |
|
|
8. |
Davies, Jim, 1964- Specification and proof in real-time CSP
|
BIBFRAME Works
|
Work Text Monograph |
|
3490912 |
|
|
10. |
Denyer, Nicholas Time, action & necessity London: Duckworth; 1981
|
BIBFRAME Instances
|
Instance |
|
3744441 |
|
|
15. |
Bliss, Daniel, 1823-1916 Daniel Bliss letter, New York, to Theodore Dwight, New York
|
BIBFRAME Works
|
Work Text Manuscript Monograph |
|
20703345 |
|
|