Вы здесь
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