Difference between revisions of "NewsEntry (2014/09/25)"
From LRDE
(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...") |
|||
| Line 1: | Line 1: | ||
{{News |
{{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 de Paris 6 (LIP6) at UPMC] at 2pm. |
+ | |title=Ala Eddine Ben Salem defends his [[Affiche-these-AB | PhD thesis]] "Improving the Model Checking of Stutter-Invariant LTL Properties" at [http://www.lip6.fr/ Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC] at 2pm. |
|date=2014/09/25 |
|date=2014/09/25 |
||
}} |
}} |
||
Latest revision as of 14:34, 5 September 2014
| 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 |