City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Разделенная нормальная форма для логики линейного времени LTL: условные обязательства и построение автомата
Introduction to Verification

What: Lecture
When: Sunday, 04 November 2007, 17:30–19:00
Where: ПОМИ РАН
Slides: verification_lecture_041107.pdf