NewsEntry (2017/02/10)

From LRDE

Revision as of 11:41, 2 February 2017 by Daniela Becker (talk | contribs) (Created page with "{{News |title=Alexandre Duret-Lutz defends his Habilitation thesis "Contributions to LTL and ω-automata for Model Checking" at EPITA at 2:15pm. |d...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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