Annonce May 2022

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

Conférence GETCO
by Uli Fahrenberg
2 years

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

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