Annonce May 2020

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

[Last CfP] Onward! Essays @SPLASH 2020, Chicago, Nov 15-20
by Didier Verna
2 years, 4 months

New publication: LTL Model Checking for Communicating Concurrent Programs
by adrien
2 years, 4 months

New publication: Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization
by Alexandre Duret-Lutz
2 years, 4 months
Results per page: