Annonce May 2020

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

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

New publication: LTL Model Checking for Communicating Concurrent Programs
by adrien
3 years, 10 months

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