Вы здесь

Jalote P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formalizing Inductive Proofs of Message Recovery in Distributed Systems 1995 Jalote P. Lecture Notes in Computer Science 12.01.1996
СТ Two Techniques for Transient Software Error Recovery 1994 Huang Y., Jalote P., Kintala C. Lecture Notes in Computer Science 05.04.1994