Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Casting CA (Timed Automata) | Weekly meeting | SR 016 in E1 3 | 1 | 29.04.14 | 29.04.14 | No | |
| Seminar CA | Weekly meeting | SR 016 in E1 3 | 1 | 15.04.14 | 15.04.14 | No |
Concurrent Automata
Holger Hermanns, Jan Krčál