A Tool for Practical Reasoning about State Machine Designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols. A Tool for Practical Reasoning about State Machine Designs. In 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 96), March 18-21, 1996, Aizu-Wakamatsu, Fukushima, JAPAN. pages 16-26, IEEE Computer Society, 1996. [doi]

This author has not been identified. Look up 'Anthony Cant' in GoogleThis author has not been identified. Look up 'Katherine A. Eastaughffe' in GoogleThis author has not been identified. Look up 'Maris A. Ozols' in Google

runs on WebDSL