Вы здесь

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