Model-Checking CSP-OZ Specifications with FDR | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1999

Ключевые слова:

корректность

спецификация

проверка

Стр.:

p.315-334

Библиография:

Bibliogr.: p.330-332

Место издания:

Источник:

Карточка:

Б2.2, Б3.51, Б2.15.

Fischer C., Wehrheim H..

Model-Checking CSP-OZ Specifications with FDR-London, Berlin.// IFM 99, 1999.-p.315-334
Bibliogr.: p.330-332

Таблица в старой библиотеке:

PAP22 499