User Manual and Technical Documentation

• The Synchronous Programming Language Quartz, Version 2.0, 2009. PDF
• Averest Howto

Research Papers

To learn more about the foundations and algorithms behind the Averest tools, see the following pages:

• publications of es.cs.uni-kl.de
• research pages of es.cs.uni-kl.de