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

Bengt Jonsson, Joachim Parrow (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics