Вы здесь

Shneider P. V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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