Вы здесь

Aygun R. S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN 2002 Aygun R. S., Zhang A. Lecture Notes in Computer Science 01.05.2002