eCommons@Cornell: Browsing eCommons

Browsing by Author Courcoubetis, Costas

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 2 of 2

Preview	Issue Date	Title	Author(s)
	Oct-1994	The Algorithmic Analysis of Hybrid Systems	Alur, Rajeev; Courcoubetis, Costas; Halbwachs, Nicolas; Henzinger, Thomas A.; Ho, Pei-Hsin; Nicollin, Xavier; Olivero, Alfredo; Sifakis, Joseph; Yovine, Sergio
	May-1993	Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems	Alur, Rajeev; Courcoubetis, Costas; Henzinger, Thomas A.; Ho, Pei-Hsin

Showing results 1 to 2 of 2