Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Your search returned 7 results.

Results
	1.	Verifying concurrent progresses using temporal logic / Brent T. Hailpern. by Hailpern Brent T Series: v 129 \| Lecture notes in computer science ; v. 129 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer Verlag , 1982 Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 005.131 H151, ... Place hold Add to cart (remove)
	2.	Temporal logic in specification by Banieqbal B [ed.] Series: Lecture notes in computer science, v 398 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 B217. Place hold Add to cart (remove)
	3.	No cover image available Specifying message passing and time critical systems with temporal logic by Koymans Ron Series: Lecture notes in computer science, v 651 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1992 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 K88. Place hold Add to cart (remove)
	4.	No cover image available Temporal logics and their applications by Galton Antony [ed.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London Academic Press 1987 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 G181. Place hold Add to cart (remove)
	5.	Temporal logic of reactive and concurrent systems by Manna Zohar Pnueli Amir [Auth.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y Springer Verlag 1992 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 M282. Place hold Add to cart (remove)
	6.	Temporal logic mathematical foundations and computational aspects by Gabbay Dov M Finger Marcelo [Auth.] Reynolds Mark A [Auth.] Series: Oxford logic guides; 40 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 2000 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G112. Place hold Add to cart (remove)
	7.	Temporal logic : proceedings by Gabbay D M International Conference on Temporal Logic( 1st : 1994 : Bonn ) International Conference on Temporal Logic 1st Bonn, 1994 Series: Lecture notes in computer science, v 827 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 In61Te(1). Place hold Add to cart (remove)

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in