Formal specification and verification of a dataflow processor array - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani. Formal specification and verification of a dataflow processor array. In Jacob K. White, Ellen Sentovich, editors, Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999. pages 494-499, IEEE, 1999. [doi]

This author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Xiaojun Liu' in GoogleThis author has not been identified. It may be one of the following persons:

Shaz Qadeer

Look up 'Shaz Qadeer' in GoogleThis author has not been identified. Look up 'Sriram K. Rajamani' in Google

runs on WebDSL