Putting Time into Proof Outlines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fred B. Schneider, Bard Bloom, Keith Marzullo. Putting Time into Proof Outlines. In J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Volume 600 of Lecture Notes in Computer Science, pages 618-639, Springer, 1991.

This author has not been identified. Look up 'Fred B. Schneider' in GoogleThis author has not been identified. Look up 'Bard Bloom' in GoogleThis author has not been identified. Look up 'Keith Marzullo' in Google

runs on WebDSL