Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Modeling and Verification of Parallel Processes 4th Summer School, MOVEP 2000 Nantes, France, June 19-23, 2000 Revised Tutorial Lectures / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan. by Cassez, Franck 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 Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by Franck Cassez, Claude Jard. by Cassez, Franck 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