A Graphical Interval Logic for Specifying Concurrent Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Melliar-Smith P. M.

Ramakrishna Y. S.

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

1

Вид:

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

Год:

1994

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

верификация

автоматический

проверка

параллельный

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

формальный

Стр.:

P.131-165.

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

Bibliogr.: p.164-165.

Источник:

ACM Trans. Software Engineering and Methodology

Номер:

2

Том:

3

Карточка:

Б3.5, Б2.23.

Dillon L. K., Kutty G., Moser L. E., Melliar-Smith P. M., Ramakrishna Y. S..

A Graphical Interval Logic for Specifying Concurrent Systems// ACM Trans. Software Engineering and Methodology-1994, №2.-Vol. 3.-P.131-165.
Bibliogr.: p.164-165.

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

ACM4 360