This small Web page tabulates information for the Sokendai students of NII, Tokyo, Japan.
Slides with holes
- Part 0: introduction
- Part 1: finite-state automata
- Part 2: timed automata
- Part 3 (bonus): parametric timed automata
Paper version with holes (black and white, 4 slides per page)
LaTeX source available on demand for teaching staff (lecturers, professors…).