Вы здесь

Heterogeneous Analysis and Verification for Distributed Systems

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1995
Стр.: 
22 p.
Библиография: 
Bibliogr.: p.19-22
Место издания: 
Номер: 
MIP-9509
Карточка: 

Б2.23, Б2.43.

Steffen B., Margaria T., Classen A..

Heterogeneous Analysis and Verification for Distributed Systems-Passau., 1995.-22 p.-(Препринт Univ.Passau №MIP-9509).
Bibliogr.: p.19-22

Таблица в старой библиотеке: 
PREP2 269