Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings / edited by Joost-Pieter Katoen, Perdita Stevens. by Katoen, Joost-Pieter Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26-28, 1999 Proceedings / edited by Joost-Pieter Katoen. by Katoen, Joost-Pieter Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	3.	CONCUR 2011 - Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings / edited by Joost-Pieter Katoen, Barbara König. by Katoen, Joost-Pieter Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG