NewsEntry (2018/05/18)

From LRDE

Revision as of 17:53, 19 May 2018 by Daniela Becker (talk | contribs) (Created page with "{{News |title=Seminar [http://www.mefosyloma.fr/j2018-05-18.html MeFoSyLoMa] at LRDE. |subtitle=Invited speakers : Étienne Renault - LRDE-EPITA, "The quest for an efficient...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title Seminar MeFoSyLoMa at LRDE.
Sub-Title Invited speakers : Étienne Renault - LRDE-EPITA, "The quest for an efficient LTL model-checking", and Mathias Ramparison - LIPN, Université Paris 13, "Timed automata with parametric updates"
Date 2018/05/18
Retrieved from "https://www.lrde.epita.fr/index.php?title=NewsEntry_(2018/05/18)&oldid=121673"