NewsEntry (2014/12/05)
From LRDE
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 |
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 |