Вы здесь

Сhristensen S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems 1992 Сhristensen S. Lecture Notes in Computer Science 16.10.1992