Thomas A. Henzinger, Pei-Hsin Ho. HYTECH: The Cornell HYbrid TECHnology Tool. In Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, editors, Hybrid Systems II. Volume 999 of Lecture Notes in Computer Science, pages 265-293, Springer, 1994.
No references recorded for this publication.
No citations of this publication recorded.