|
| 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
| ASCII Text | x | ||
| B. Moszkowski, "A Temporal Logic for Multilevel Reasoning about Hardware," Computer, vol. 18, no. 2, pp. 10-19, February, 1985. | |||
| BibTex | x | ||
| @article{ 10.1109/MC.1985.1662795, author = {B. Moszkowski}, title = {A Temporal Logic for Multilevel Reasoning about Hardware}, journal ={Computer}, volume = {18}, number = {2}, issn = {0018-9162}, year = {1985}, pages = {10-19}, doi = {http://doi.ieeecomputersociety.org/10.1109/MC.1985.1662795}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - Computer TI - A Temporal Logic for Multilevel Reasoning about Hardware IS - 2 SN - 0018-9162 SP10 EP19 EPD - 10-19 A1 - B. Moszkowski, PY - 1985 KW - null VL - 18 JA - Computer ER - | |||
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.