An Approach to the Description and Analysis of Hybrid Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine. An Approach to the Description and Analysis of Hybrid Systems. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel, editors, Hybrid Systems. Volume 736 of Lecture Notes in Computer Science, pages 149-178, Springer, 1992.

This author has not been identified. Look up 'Xavier Nicollin' in GoogleThis author has not been identified. Look up 'Alfredo Olivero' 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