Annonce April 2019

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

New publication at TUG 2019
by Didier Verna
3 years, 1 month

Quickref 2.0 is released
by Didier Verna
3 years, 1 month

[Seminaire-LRDE] Mercredi 10 avril 2019: Guillaume Charpiat (TAU-team, INRIA Saclay / LRI - Université Paris-Sud)
by Edwin Carlinet
3 years, 1 month

New journal publication: Model checking with generalized Rabin and Fin-less automata
by Alexandre Duret-Lutz
3 years, 1 month
Results per page: