Вы здесь

Zucker J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Propositional Temporal Logics and their Use in Model Checking 1993 Zucker J. Lecture Notes in Computer Science 05.08.1993
СТ The Propositional -Calculus and its Use in Model Checking 1993 Zucker J. Lecture Notes in Computer Science 05.08.1993