3rd Tool Support for System Specification, Development and Verification 1998: Malente, Germany

a service of Schloss Dagstuhl - Leibniz Center for Informatics