Manfred Kufleitner, Alexander Lauser
Languages of Dot-Depth One over Infinite Words
LICS, 2011.
@inproceedings{LICS-2011-KufleitnerL,
author = "Manfred Kufleitner and Alexander Lauser",
booktitle = "{Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2011.24",
isbn = "978-0-7695-4412-0",
pages = "23--32",
publisher = "{IEEE Computer Society}",
title = "{Languages of Dot-Depth One over Infinite Words}",
year = 2011,
}











