Annonce April 2013

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

Publication: Spin'13: Compositional Approach to Suspension and Other Improvements to LTL Translation
by Alexandre Duret-Lutz
10 years, 10 months

Spot 1.1 released
by Alexandre Duret-Lutz
10 years, 10 months

New journal publication
by Guillaume Lazzara
10 years, 10 months

[Seminaire-LRDE] Mercredi 24 avril 2013: Peter Van Roy, Université catholique de Louvain
by Daniela Becker
10 years, 11 months
Results per page: