Nadeem Malik, Jason Baumgartner, S. Roberts, R. Dobson. A toolset for assisted formal verification. In Proceedings of the IEEE International Performance Computing and Communications Conference, IPCCC 1999, Phoenix/Scottsdale, Arizona, USA, 10-12 February 1999. pages 489-492, IEEE, 1999. [doi]
@inproceedings{MalikBRD99,
title = {A toolset for assisted formal verification},
author = {Nadeem Malik and Jason Baumgartner and S. Roberts and R. Dobson},
year = {1999},
doi = {10.1109/PCCC.1999.749477},
url = {http://dx.doi.org/10.1109/PCCC.1999.749477},
researchr = {https://researchr.org/publication/MalikBRD99},
cites = {0},
citedby = {0},
pages = {489-492},
booktitle = {Proceedings of the IEEE International Performance Computing and Communications Conference, IPCCC 1999, Phoenix/Scottsdale, Arizona, USA, 10-12 February 1999},
publisher = {IEEE},
}