"Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of ..."

Mathai Joseph (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics