"Tools and Algorithms for Construction and Analysis of Systems, 4th ..."

Bernhard Steffen (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics