Statistics
Publications
1
Citations
329
H-Index
1
Active since
1985
Affiliations
University of Cambridge(Current)
Moszkowski is an author at University of Cambridge specializing in temporal knowledge representation, hardware model checking, and computer science.
Publications per year
1985–1985
1
1
A Temporal Logic for Multilevel Reasoning about Hardware
Moszkowski · Computer · 1985 · 329 citations
1–1 of 1