Вы здесь

Gallardo M. -Del-M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Framework for Automatic Construction of Abstract Promela Models 1999 Gallardo M. -Del-M., Merino P. Lecture Notes in Computer Science 26.10.1999