Modern Applications of Automata Theory 2012

Part I: Basic Chapters

Part II: Verification

Part III: Automata and Logic

Part IV: Compression

maintained by Schloss Dagstuhl LZI at University of Trier