Вы здесь

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