Your search returned 2 results.

Results
	1.	Verifying concurrent processes using temporal logic Hailpern, Brent T. by Hailpern, Brent T Series: Lecture notes in computer science, no. 129 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: Ahmedabad (1)Call number: 510.7834 H2V3. Place hold
	2.	No cover image available Verifying concurrent processes using temporal logic / by Brent T Hailpern. by Hailpern, Brent T Series: Lecture notes in computer science ; No. 129 Material type: Text; Literary form: Not fiction Publication details: New York: Springer-verlag, 1982 Availability: Items available for loan: Bangalore (1)Call number: 005.1 HAI. Place hold

Refine your search