Implementation and application of automata. 16th international conference, CIAA 2011, Blois, France, July 13--16, 2011. Proceedings
scientific article; zbMATH DE number 5931694