Superposition and fairness in reactive system refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralph-Johan Back, Reino Kurki-Suonio. Superposition and fairness in reactive system refinement. In Joshua Maor, Abraham Peled, editors, Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, Jerusalem, October 22-25, 1990. pages 162-172, IEEE, 1990. [doi]

This author has not been identified. Look up 'Ralph-Johan Back' in GoogleThis author has not been identified. Look up 'Reino Kurki-Suonio' in Google

runs on WebDSL