City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Двоичные разрешающие диаграммы (BDD). Символьная проверка моделей
Introduction to Verification
What:
Lecture
When:
Sunday, 21 October 2007, 20:30–22:00
Where:
ПОМИ РАН
Slides:
verification_lecture_211007.pdf
