Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings - FORMATS 2009 (2009 : Budapest, Hungary); Ouaknine, Joel.; Vaandrager, Frits W.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer simulation -- Congresses; Temporal automata -- Congresses; Formal methods (Computer science) -- Congresses; Robots -- Congresses; Models and Principles; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation; Logics and Meanings of Programs; Theory of Computation