↓
Skip to main content
Silvano DAL ZILIO
Publications
Projects
Courses
Automata and Grammar
Introduction to Model-Checking
Posts
Software
tina2IPN
Tags
Publications
Projects
Courses
Automata and Grammar
Introduction to Model-Checking
Posts
Software
tina2IPN
Tags
Courses
I teach the following courses:
Automates et Théorie des Langages (cours 2SN - BML - ENSEEIHT)
Introduction to Model-Checking: Theory and Practice (Beihang University)
↑