Automata, Languages and Programming (33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I)

Michele Bugliesi , Bart Preneel , Vladimiro Sassone