notre_dame_de_la_garde.jpeg

On the Parallel Complexity of Bisimulation over Finite Systems

  • Moses Ganardi
  • Stefan Göller
  • Markus Lohrey

Schedule

  • Aug. 29, 2016, 14:00 - 16:00(Verification, finite models session)

Attachments