|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
A D&T Roundtable: The Practical Application of Formal Verification
Fall 1995 (vol. 12 no. 3)
pp. 96-102
| ASCII Text | x | ||
| "A D&T Roundtable: The Practical Application of Formal Verification," IEEE Design & Test of Computers, vol. 12, no. 3, pp. 96-102, Fall, 1995. | |||
| BibTex | x | ||
| @article{ 10.1109/MDT.1995.10020, author = {}, title = {A D&T Roundtable: The Practical Application of Formal Verification}, journal ={IEEE Design & Test of Computers}, volume = {12}, number = {3}, issn = {0740-7475}, year = {1995}, pages = {96-102}, doi = {http://doi.ieeecomputersociety.org/10.1109/MDT.1995.10020}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Design & Test of Computers TI - A D&T Roundtable: The Practical Application of Formal Verification IS - 3 SN - 0740-7475 SP96 EP102 EPD - 96-102 PY - 1995 VL - 12 JA - IEEE Design & Test of Computers ER - | |||
Citation:
"A D&T Roundtable: The Practical Application of Formal Verification," IEEE Design & Test of Computers, vol. 12, no. 3, pp. 96-102, Fall 1995, doi:10.1109/MDT.1995.10020
Usage of this product signifies your acceptance of the Terms of Use.