Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science, 138(1):3-34, 1995. [doi]
No references recorded for this publication.
No citations of this publication recorded.