Вы здесь

Amla N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Visual Specifications for Modular Reasoning about Asynchronous Systems 1900 Amla N., Emerson E. A., Namjoshi K. S., Trefler R. J. Lecture Notes in Computer Science 29.11.2002