A Compositional Approach to the Design of Hybrid Systems

Jozef Hooman. A Compositional Approach to the Design 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 121-148, Springer, 1992.

Abstract

Abstract is missing.