Вы здесь

Berezin S. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On Compositional Model Checking in the Modal Mu-calculus and Its Extension with Multiple Clocks 1995 Berezin S. A. Computer Science Bulletin of the Novosibirsk Computing Center 08.04.1997
СТ An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus 1994 Berezin S. A., Shilov N. V. Lecture Notes in Computer Science 26.07.1994
СТ An Effective Model Checking for Mu-calculus: From Finite Systems Towards Systems with Real Time 1993 Berezin S. A., Shilov N. V., Shneider P. V. Bull. Novosibirsk Computing Center. Ser.: Computer Science 24.12.1993