The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - February (1985 vol.18)
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. 2, pp. 10-19, February 1985, doi:10.1109/MC.1985.1662795
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool