IMSc Library catalog › Results of search for 'au:"Katoen, Joost-Pieter. Ed."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Formal Methods and Performance Analysis : First Summer School, Netherlands, 2000 by Brinksma, Ed \| Hermanns, Holger. Ed \| Katoen, Joost-Pieter. Ed. Series: Lecture notes in computer science ; 02090Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Concur 2011 - Concurrency theory 22nd international conference, concur 2011 Aachen, germany, September 2011 proceedings by Katoen, Joost-Pieter, Ed \| Konig, Barbara. Series: Lecture notes in computer science; 6901Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS. Place hold Log in to add tags