Annonce April 2019

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

New publication at TUG 2019
by Didier Verna
4 years, 11 months

Quickref 2.0 is released
by Didier Verna
4 years, 11 months

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

New journal publication: Model checking with generalized Rabin and Fin-less automata
by Alexandre Duret-Lutz
4 years, 11 months
Results per page: