"Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th ..."

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