This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Temporal Logic for Multilevel Reasoning about Hardware
February 1985 (vol. 18 no. 2)
pp. 10-19
B. Moszkowski, Computer Laboratory, Cambridge University
Citation:
B. Moszkowski, "A Temporal Logic for Multilevel Reasoning about Hardware," Computer, vol. 18, no. 2, pp. 10-19, Feb. 1985, doi:10.1109/MC.1985.1662795
Usage of this product signifies your acceptance of the Terms of Use.