
|
Formal Techniques in Real-Time and Fault Tolerant Systems
by
Mathai Joseph
Springer, September 1988
|
|
Formal Techniques in Real-Time and Fault-Tolerant Systems
by
Mathai Joseph
Springer, October 13, 2000
Paperback
|
|
Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science)
by
Mathai Joseph
Springer, December 1984
Paperback
|
|
Formal Techniques in Real-Time and Fault-Tolerant Systems
by
Mathai Joseph
Springer, October 17, 1988
Paperback
|
|
A multiprocessor operating system
by
Mathai Joseph
Prentice-Hall, 1984
|