NewsEntry (2016/04/08)2

From LRDE

Revision as of 17:59, 30 March 2016 by Daniela Becker (talk | contribs) (Created page with "{{News |title=Next Seminar [http://www.mefosyloma.fr/j2016-04-08.html MeFoSyLoMa] at LRDE. |subtitle=Invited speakers: Alexandre Duret-Lutz (LRDE/EPITA) on "Spot 2.0" and Maxi...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
Retrieved from "https://www.lrde.epita.fr/index.php?title=NewsEntry_(2016/04/08)2&oldid=74722"