Вы здесь

Janin D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automata for the modal mu-calculus and related results 1995 Janin D., Walukiewicz I. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995 24.10.1995