Graf Susanne

Presentations in Math-Net.Ru

1. Knowledge-based Verification and Construction of Distributed and Constrained Systems
   Susanne Graf
   Colloquium of the Faculty of Computer Science
   May 21, 2015 16:40