Вы здесь

Trefler R. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Model Checking Real-Time Properties of Symmetric Systems 1998 Emerson E. A., Trefler R. J. Lecture Notes in Computer Science 02.09.1998