Annonce April 2015

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

[Seminaire-LRDE] Mercredi 13 mai 2015: Matthieu Garrigues, Laboratoire d'informatique et d'ingénierie des systèmes, ENSTA ParisTech
by Daniela Becker
7 years, 4 months

New publication: The Hanoi Omega-Automata Format (CAV'15)
by Alexandre Duret-Lutz
7 years, 4 months

Publication: Extending Testing Automata to All LTL (FORTE'15)
by Daniela Becker
7 years, 5 months

[CfPart] ELS 2015, April 20-21 2015, London
by Didier Verna
7 years, 5 months
Results per page: