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

Hans Langmaack, Willem P. de Roever, Jan Vytopil (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics