NewsEntry (2014/09/25)
From LRDE
| 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 |
| 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 |