eCommons@Cornell: Browsing eCommons

Browsing by Author Fix, Limor

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 4 of 4

Issue Date	Title	Author(s)
Mar-1995	A Determinizable Class of Timed Automata	Alur, Rajeev; Fix, Limor; Henzinger, Thomas A.
Jul-1994	Hybrid Verification by Exploiting the Environment	Fix, Limor; Schneider, Fred B.
Feb-1994	Reasoning About Programs by Exploiting the Environment	Fix, Limor; Schneider, Fred B.
Aug-1993	Verification of Temporal Properties	Fix, Limor; Grumberg, Orna

Showing results 1 to 4 of 4