NewsEntry (2015/05/05)

From LRDE

Revision as of 14:11, 30 April 2015 by Daniela Becker (talk | contribs) (Created page with "{{News |title=Alexandre Duret-Lutz invited to [http://tu-dresden.de TU Dresden], Germany. |subtitle=He will speak on [http://lat.inf.tu-dresden.de/quantla/index.php/study-prog...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title Alexandre Duret-Lutz invited to TU Dresden, Germany.
Sub-Title He will speak on From PSL to Transition-based Generalized Büchi Automata at the Research Seminar QuantLA.
Date 2015/05/05
Retrieved from "https://www.lrde.epita.fr/index.php?title=NewsEntry_(2015/05/05)&oldid=10860"