Вы здесь

Gribovskaya N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Categorial Observaion of Timed Testing Equivalence 2007 Gribovskaya N., Virbitskaite I. Lecture Notes in Computer Science Lecture Notes in Computer Science 19.11.2007
СТ A Categorical View of Timed Weak Bisimulation 2010 Gribovskaya N., Virbitskaite I. Lecture Notes in Computer Science LNCS 29.06.2010
СТ From Event-Oriented Models to Transition Systems 2018 Gribovskaya N., Virbitskaite I., Best E. Lecture Notes in Computer Science Lecture Notes in Computer Science 25.09.2018
СТ Open maps and weak trace equivalence for timed event structures 2006 Gribovskaya N. Computer Science Bulletin of the Novosibirsk Computing Center 02.03.2007