Your search returned 4 results.

Results
	1.	Formal modeling and analysis of timed systems [electronic resource] : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / edited by Joel Ouaknine, Frits W. Vaandrager. by FORMATS 2009 (2009 : Budapest, Hungary) Ouaknine, Joel Vaandrager, Frits W SpringerLink (Online service) Series: Lecture notes in computer science ; 5813 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007: Proceedings / edited by Jean-Francois Raskin, P. S. Thiagarajan. by FORMATS 2007 (2007 : Salzburg, Austria) Thiagarajan, P. S SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4763 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3.	Formal Modeling and Analysis of Timed Systems (vol. # 4202) [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / edited by Eugene Asarin, Patricia Bouyer. by FORMATS 2006 (2006 : Paris, France) Asarin, Eugene Bouyer, Patricia SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4202 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	4.	An introduction to practical formal methods using temporal logic / Michael Fisher. by Fisher, Michael, 1962- Publication details: Chichester, West Sussex, U.K. : Wiley, 2011 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA267.5.T45F567 3. Place hold

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library