Вы здесь
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.296-311
Библиография:
Bibliogr.: p.310-311
Издательство:
Источник:
Том:
2280
Карточка:
Б2.1, Б3.51.
Armoni R., Fix L., Flaisher A., Gerth R., Ginsburg B., Kanza T., Landver A., Mador-Haim S., Singerman E., Tiemeyer A., Vardi M. Y., Zbar Y..
The ForSpec Temporal Logic: A New Temporal Property-Specification Language: Springer// Lecture Notes in Computer Science-2002.-Vol. 2280.-P.296-311
Bibliogr.: p.310-311
Таблица в старой библиотеке:
PAP24 920