Graf Susanne

Доклады и лекции в базе данных Math-Net.Ru

1. Knowledge-based Verification and Construction of Distributed and Constrained Systems
   Susanne Graf
   Коллоквиум Факультета компьютерных наук НИУ ВШЭ
   21 мая 2015 г. 16:40