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

Susanne Graf, Michael I. Schwartzbach (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics