"Tools and Algorithms for Construction and Analysis of Systems, Third ..."

Ed Brinksma (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics