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]
Abstract is missing.