eCommons@Cornell: Browsing eCommons

Browsing by Author Alpern, Bowen

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 3 to 7 of 7

Issue Date	Title	Author(s)
Mar-1987	Proving Boolean Combinations of Deterministic Properties	Alpern, Bowen; Schneider, Fred B.
Feb-1986	Proving Temporal Properties of Concurrent Programs: A Non-Temporal Approach	Alpern, Bowen
Jan-1986	Recognizing Safety and Liveness	Alpern, Bowen; Schneider, Fred B.
Oct-1985	Safety Without Stuttering	Alpern, Bowen; Demers, Alan J.; Schneider, Fred B.
Jul-1987	Verifying Temporal Properties without using Temporal Logic	Alpern, Bowen; Schneider, Fred B.

Showing results 3 to 7 of 7