Modern Applications of Automata Theory 2012

Part I: Basic Chapters

Part II: Verification

Part III: Automata and Logic

Part IV: Compression

a service of Schloss Dagstuhl - Leibniz Center for Informatics