Asynchronous Design Methodologies 1993: Manchester, UK

Synthesis and Modelling

Theory and Specification

Engineering Practice

a service of Schloss Dagstuhl - Leibniz Center for Informatics