Your search returned 2 results.

Results
	1.	Temporal Logic and State Systems [electronic resource] / by Fred Kroger, Stephan Merz. by Kroger, Fred Merz, Stephan SpringerLink (Online service) Series: Texts in Theoretical Computer Science, An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2.	Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet by Merz, Stephan Navet, Nicolas Publication details: London : ISTE, 2008 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.54.M639 pasca. Place hold

Refine your search