The Concurrency Factory: A Development Environment for Concurrent Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky. The Concurrency Factory: A Development Environment for Concurrent Systems. In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 398-401, Springer, 1996.

This author has not been identified. Look up 'Rance Cleaveland' in GoogleThis author has not been identified. Look up 'Philip M. Lewis' in GoogleThis author has not been identified. Look up 'Scott A. Smolka' in GoogleThis author has not been identified. Look up 'Oleg Sokolsky' in Google

runs on WebDSL