Annonce May 2022

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

Conférence GETCO
by Uli Fahrenberg
10 months

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

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