The Theory of Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev Alur, David L. Dill. The Theory of Timed Automata. 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 45-73, Springer, 1991.

This author has not been identified. It may be one of the following persons:

Rajeev Alur

Look up 'Rajeev Alur' in GoogleThis author has not been identified. Look up 'David L. Dill' in Google

runs on WebDSL