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", Computer, vol. 18, no. , pp. 10-19, February 1985, doi:10.1109/MC.1985.1662795
96 ms
(Ver 3.3 (11022016))