On Automating Process Algebra Proofs

Вы здесь

Автор:

Korver H.

Sellink M.P. A.

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

Вид:

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

Год:

1996

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

алгебра

процесс

Стр.:

P.815-825.

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

Bibliogr.: p.825.

Издательство:

Middle East Technical Univ.

Источник:

ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996

Том:

Карточка:

Б2.15.

Korver H., Sellink M.P. A..

On Automating Process Algebra Proofs: Middle East Technical Univ.// ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996-1996.-Vol. II.-P.815-825.
Bibliogr.: p.825.

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

PAP15 854