2nd ACSD 2001: Newcastle upon Tyne, UK

Invited Talks

Performance Issues

Asynchronous Communication

Refinement Issues

Object-Oriented Approach

Codesign and Embedded Systems

Asynchronous Circuits

Verification and Testing

Petri Net Synthesis

a service of Schloss Dagstuhl - Leibniz Center for Informatics