Verification-Friendly Specification of Distributed Systems

Вы здесь

Автор:

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

Вид:

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

Год:

2000

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

Стр.:

P.480-483

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

Bibliogr.: p.483

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

Источник:

Карточка:

Б2.43, Б2.24, Б3.5.

Kellomaki P..

Verification-Friendly Specification of Distributed Systems-Beijing.// 16th World Computer Congress 2000, 2000.-P.480-483
Bibliogr.: p.483

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

PAP22 608