Handbook of Finite State Based Models and Applications 2012

maintained by Schloss Dagstuhl LZI, founded at University of Trier