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

Jan Vytopil (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics