Verifying Generic Erlang Client-Server Implementations

Вы здесь

Автор:

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

Вид:

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

Год:

2001

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

Стр.:

P.37-52

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

Bibliogr.: p.51-52

Источник:

Том:

2011

Карточка:

Б3.2, Б3.5.

Arts T., Noll T..

Verifying Generic Erlang Client-Server Implementations// Lecture Notes in Computer Science-2001.-Vol. 2011.-P.37-52
Bibliogr.: p.51-52

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

PAP23 100