Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan. by CAV (Conference) (1990 : Center for Discrete Mathematics and Theoretical Computer Science) Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 Kurshan, R. P, 1943- Series: Lecture notes in computer science ; 531. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1991 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Computer-aided verification of coordinating processes : the automata-theoretic approach / Robert P. Kurshan. by Kurshan, R. P, 1943- [author.] Series: Princeton series in computer science Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Princeton, New Jersey : Princeton University Press, [1994]Copyright date: ©1994 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold

Refine your search