Languages
Jump To : Overview | Titles | Subjects

Merz, Stephan.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
Temporal Logic and State Systems by: Merz, Stephan.; SpringerLink (Online service); Kroger, Fred. (Electronic resources)
Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / by: Congress on Progress and Controversies in Oncological Urology (2000:); Mery, Dominique.; Merz, Stephan.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login