tr-announce January 2020

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 1 discussions

2020-02: Towards an Isabelle Theory for distributed, interactive systems - the untimed case
by Hensel, Jera
4 years, 4 months
Results per page: