Вы здесь

Fernandez J. C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Abstrat Interpretation and Verification of Reactive Systems 1993 Fernandez J. C. Lecture Notes in Computer Science 11.12.1993