NewsEntry (2017/02/10)
From LRDE
Title | Alexandre Duret-Lutz defends his Habilitation thesis "Contributions to LTL and ω-automata for Model Checking" at EPITA at 2:15pm. |
---|---|
Sub-Title | |
Date | 2017/02/10 |
Title | Alexandre Duret-Lutz defends his Habilitation thesis "Contributions to LTL and ω-automata for Model Checking" at EPITA at 2:15pm. |
---|---|
Sub-Title | |
Date | 2017/02/10 |