Annonce May 2022

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

Conférence GETCO
by Uli Fahrenberg
1 month, 1 week

Paper accepted at FORTE'22: LTL under reductions with weaker conditions than stutter invariance
by Renault Etienne
1 month, 2 weeks

Paper accepted at FORTE'22: Effective Reductions of Mealy Machines
by Alexandre Duret-Lutz
2 months
Results per page: