Вы здесь

Bernholtz O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Buy One, Get One Free!!! 1994 Bernholtz O., Grumberg O. Lecture Notes in Artificial Intelligence 11.08.1994
СТ An Automata-Theoretic Approach to Branching-Time Model Checking 1994 Bernholtz O., Vardi M. Y., Wolper P. Lecture Notes in Computer Science 21.07.1994
СТ Branching Time Temporal Logic and Amorphous Tree Automata 1993 Bernholtz O., Grumberg O. Lecture Notes in Computer Science 19.10.1993