TUT1: Timed Automata for Planning and Scheduling Oded Maler (Verimag) Room: 3 |
||
J. Christopher Beck (University College Cork), Thierry Vidal (ENIT) Room: 8-S |
Alessandro Cimatti (ITC-Irst), Marco Pistore (University of Trento), Marco Roveri (ITC-IRST) Room: 7-S / Foyer |
||
Lloyd Greenwald (Drexel University), Shlomo Zilberstein (University of Massachusetts) Room: 8-S |
Jussi Rintanen
Albert-Ludwigs-Universität Freiburg