NewsEntry (2014/12/05)

From LRDE

Revision as of 15:12, 21 November 2014 by Daniela Becker (talk | contribs) (Created page with "{{News |title=Etienne Renault defends his PhD thesis "Contributions to emptiness checks for explicit model checking" at [http://www.lip6.fr/ Laboratoire...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title Etienne Renault defends his PhD thesis "Contributions to emptiness checks for explicit model checking" at Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC at 2pm.
Sub-Title
Date 2014/12/05
Retrieved from "https://www.lrde.epita.fr/index.php?title=NewsEntry_(2014/12/05)&oldid=10164"