NewsEntry (2014/09/25)

From LRDE

Revision as of 13:55, 5 September 2014 by Daniela Becker (talk | contribs) (Created page with "{{News |title=Ala Eddine Ben Salem defends his PhD thesis "Improving the Model Checking of Stutter-Invariant LTL Properties" at [http://www.lip6.fr/ Laboratoire d'Informatique...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title Ala Eddine Ben Salem defends his PhD thesis "Improving the Model Checking of Stutter-Invariant LTL Properties" at Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC at 2pm.
Sub-Title
Date 2014/09/25
Retrieved from "https://www.lrde.epita.fr/index.php?title=NewsEntry_(2014/09/25)&oldid=8584"