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

Ed Brinksma et al. (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics