Vicky Hartonas-Garmhausen, T. Kurfess, Edmund M. Clarke, David E. Long. Automatic verification of industrial designs. In Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995. pages 88-96, IEEE Computer Society, 1995. [doi]
@inproceedings{Hartonas-GarmhausenKCL95,
title = {Automatic verification of industrial designs},
author = {Vicky Hartonas-Garmhausen and T. Kurfess and Edmund M. Clarke and David E. Long},
year = {1995},
doi = {10.1109/WIFT.1995.515481},
url = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1995.515481},
researchr = {https://researchr.org/publication/Hartonas-GarmhausenKCL95},
cites = {0},
citedby = {0},
pages = {88-96},
booktitle = {Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995},
publisher = {IEEE Computer Society},
isbn = {0-8186-7005-3},
}