The Community for Technology Leaders
Green Image
Issue No. 02 - February (1985 vol. 18)
ISSN: 0018-9162
pp: 10-19
B. Moszkowski , Computer Laboratory, Cambridge University
INDEX TERMS
null
CITATION

B. Moszkowski, "A Temporal Logic for Multilevel Reasoning about Hardware," in Computer, vol. 18, no. , pp. 10-19, 1985.
doi:10.1109/MC.1985.1662795
92 ms
(Ver 3.3 (11022016))