Вы здесь

Olveczky P. C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specification and Analysis of Real-Time Systems Using Real-Time Maude 2004 Olveczky P. C., Meseguer J. Lecture Notes in Computer Science 16.04.2004