An Approach to the Description and Analysis of Hybrid Systems

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.