Finite state machine verification on MIMD machines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nand Kumar, Ranga Vemuri. Finite state machine verification on MIMD machines. In Gerald Musgrave, editor, Proceedings of the conference on European design automation, EURO-DAC '92, Hamburg, Germany, September 7-10, 1992. pages 514-520, IEEE Computer Society Press, 1992. [doi]

This author has not been identified. Look up 'Nand Kumar' in GoogleThis author has not been identified. Look up 'Ranga Vemuri' in Google

runs on WebDSL