eCommons@Cornell: Browsing eCommons

Browsing by Author Nicollin, Xavier

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
	Jan-1994	Symbolic Model Checking for Real-Time Systems	Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio

Showing results 1 to 2 of 2