NewsEntry (2014/09/25)

From LRDE

Revision as of 14:34, 5 September 2014 by Daniela Becker (talk | contribs)
(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=8590"