Your search returned 4 results.

Results
	1.	STACS '92 /ed. by A. Finkel, M. Jantzen by Finkel, A Symposium on Theoretical Aspects of Computer Science Jantzen, M Series: Lecture Notes in Computer Science ; 577 Material type: Book Publication details: Berlin S-V 1992 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 004.0151 N92.
	2.	STACS '93 10th Annual symposium on theoretical Ascpects of Computer Science Wurzburg, Germany, Feb 1993 Proceedings ed by P Enjalbert et.al. by Enjalbert, P et.al Symposium on Theoretical Aspects of Computer Science Finkel, A Wagner, K.W Series: Lecture Notes in Computer Science ; 665 Material type: Book Publication details: Berlin Springer 1993 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 004.0151 N934.
	3.	Systems and software verification Model-Checking Techniques and Tools by B Berard, et al by Berard, B Bidoit, M Finkel, A Laroussinie, F Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 P015;1. Place hold
	4.	Systems and software verification Model-Checking Techniques and Tools by B Berard, et al by Berard, B Bidoit, M Finkel, A Laroussinie, F Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 P015 "R(T)". Place hold

Refine your search