Formal Verification of Distributed Protocols with PVS

Вы здесь

Автор:

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

Вид:

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

Год:

1997

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

Стр.:

P.27-36.

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

Источник:

Карточка:

А3.53, Б2.43.

Hooman J..

Formal Verification of Distributed Protocols with PVS-Tallinn.// 9th Nordic Workshop on Programming Theory, 1997.-P.27-36.

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

PAP17 607