@inproceedings{Czeizler06,
author = {Eugen Czeizler},
booktitle = {Pre-proceedings of EMS International School and Conference on Combinatorics, Automata and Number Theory, CANT 2006},
title = {Bijective automata: linear synchronization delay and decision algorithms},
year = {2006},
}