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

Tiziana Margaria, Bernhard Steffen (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics