Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings - Kutrib, Martin; Moreira, Nelma; Reis, Rogério (Springer Berlin Heidelberg : Imprint: Springer, 2012)