A Specification of the Cat and Mouse Problem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

William G. Wood. A Specification of the Cat and Mouse Problem. 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 676-686, Springer, 1991.

This author has not been identified. Look up 'William G. Wood' in Google

runs on WebDSL