Вы здесь
A Grafical Interval Logic Toolset for Verifying Concurrent Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1993
Ключевые слова:
Стр.:
P.138-153.
Библиография:
Bibliogr.: p.152-153
Издательство:
Источник:
Том:
697
Карточка:
Б2.4, Б4.55, Б3.54.
Kutty G., Ramakrishna Y. S., Moser L. E., Dillon L. K., Melliar-Smith P. M..
A Grafical Interval Logic Toolset for Verifying Concurrent Systems: Springer// Lecture Notes in Computer Science-1993.-Vol. 697.-P.138-153.
Bibliogr.: p.152-153
Таблица в старой библиотеке:
PAP6 425