A system verification strategy based on the BST infrastructure

Gustavo R. Alves, José M. M. Ferreira. A system verification strategy based on the BST infrastructure. In International Symposium on Circuits and Systems (ISCAS 1999), May 30 - June 2, 1999, Orlando, Florida, USA. pages 35-38, IEEE, 1999. [doi]

Authors

Gustavo R. Alves

This author has not been identified. Look up 'Gustavo R. Alves' in Google

José M. M. Ferreira

This author has not been identified. Look up 'José M. M. Ferreira' in Google