NewsEntry (2016/04/08)2
From LRDE
| Title | Next Seminar MeFoSyLoMa at LRDE. |
|---|---|
| Sub-Title | Invited speakers: Alexandre Duret-Lutz (LRDE/EPITA) on "Spot 2.0" and Maximilien Colange (ENS de Cachan) on "TiAMo, the Timed Automata Model-checker" |
| Date | 2016/04/08 |
| Title | Next Seminar MeFoSyLoMa at LRDE. |
|---|---|
| Sub-Title | Invited speakers: Alexandre Duret-Lutz (LRDE/EPITA) on "Spot 2.0" and Maximilien Colange (ENS de Cachan) on "TiAMo, the Timed Automata Model-checker" |
| Date | 2016/04/08 |