Interface Refinement in Reactive Systems (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rob Gerth, Ruurd Kuiper, John Segers. Interface Refinement in Reactive Systems (Extended Abstract). In Rance Cleaveland, editor, CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Volume 630 of Lecture Notes in Computer Science, pages 77-93, Springer, 1992.

This author has not been identified. Look up 'Rob Gerth' in GoogleThis author has not been identified. Look up 'Ruurd Kuiper' in GoogleThis author has not been identified. Look up 'John Segers' in Google

runs on WebDSL