Annonce May 2022

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

Conférence GETCO
by Uli Fahrenberg
1 year, 9 months

Paper accepted at FORTE'22: LTL under reductions with weaker conditions than stutter invariance
by Renault Etienne
1 year, 10 months

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