IMSc Library catalog › Results of search for 'au:"Hailpern, Brent T."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Verifying Concurrent Processes Using Temporal Logic by Hailpern, Brent T. Series: Lecture notes in computer science ; 00129Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			Verifying Concurrent Processes Using Temporal Logic [electronic resource] / by Brent T. Hailpern. by Hailpern, Brent T [author.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 129Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags