Вы здесь

Merino P.

Автор:

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