Вы здесь
Specification and Verification of Timed Lazy Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1996
Ключевые слова:
Стр.:
P.279-290
Библиография:
Bibliogr.: p.290
Место издания:
Том:
1113
Карточка:
Б2.15, Б2.4, Б2.24.
Corradini F., Pistore M..
Specification and Verification of Timed Lazy Systems-Berlin, Heidelberg.// Mathematical Foundations of Computer Science 1996, 1996.-Vol. 1113.-P.279-290-(Lecture Notes in Computer Science).
Bibliogr.: p.290
Таблица в старой библиотеке:
PAP15 467