Proving finite state machines correct with an automaton-based method - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paolo Camurati, Marco Gilli, Paolo Prinetto, Matteo Sonza Reorda. Proving finite state machines correct with an automaton-based method. In First Great Lakes Symposium on VLSI, 1991, Kalamazoo, MI, USA, March 1-2, 1991. pages 255-258, IEEE, 1991. [doi]

This author has not been identified. Look up 'Paolo Camurati' in GoogleThis author has not been identified. Look up 'Marco Gilli' 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