Timed model checking
Sokendai lectures / NII, Tokyo,Japan
This small Web page tabulates information for the Sokendai students of NII, Tokyo, Japan.
These slides can be reused under the conditions of their respective licenses, in general Creative Commons CC BY-NC-SA 4.0; author: Étienne André.
LaTeX source available on demand for teaching staff (lecturers, professors…).