From ATP to Timed Graphs and Hybrid Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xavier Nicollin, Joseph Sifakis, Sergio Yovine. From ATP to Timed Graphs and Hybrid Systems. 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 549-572, Springer, 1991.

This author has not been identified. Look up 'Xavier Nicollin' in GoogleThis author has not been identified. Look up 'Joseph Sifakis' in GoogleThis author has not been identified. Look up 'Sergio Yovine' in Google

runs on WebDSL