Annonce April 2017

annonce@lrde.epita.fr
  • 2 participants
  • 2 discussions

[Seminaire-LRDE] Séminaire du LRDE le mercredi 3 mai 2017: Pierre Sermanet, Google Brain
by Guillaume Tochon
5 years, 1 month

publication: Seminator: A Tool for Semi-Determinization of Omega-Automata
by Alexandre Duret-Lutz
5 years, 1 month
Results per page: