Cross-fertilizing FSM verification techniques and sequential diagnosis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda. Cross-fertilizing FSM verification techniques and sequential diagnosis. In Gerald Musgrave, editor, Proceedings of the conference on European design automation, EURO-DAC '92, Hamburg, Germany, September 7-10, 1992. pages 306-311, IEEE Computer Society Press, 1992. [doi]

This author has not been identified. Look up 'Gianpiero Cabodi' in GoogleThis author has not been identified. Look up 'Paolo Camurati' in GoogleThis author has not been identified. Look up 'Fulvio Corno' in GoogleThis author has not been identified. Look up 'Paolo Prinetto' in GoogleThis author has not been identified. Look up 'Matteo Sonza Reorda' in Google

runs on WebDSL