Ein wissenschaftlicher Sammelband aus dem 17. Internationalen Workshop zur beschreibenden Komplexität formaler Systeme in Waterloo, der neueste Erkenntnisse zu Logik, Automatentheorie und Modellprüfung zusammenführt und innovative Analyseansätze präsentiert.