@Inproceedings{EPTCS8.2, author = {Babiak, Tom\'a\v{s} and \v{R}eh\'ak, Vojt\v{e}ch and Strej\v{c}ek, Jan}, year = {2009}, title = {Almost Linear B\"uchi Automata}, editor = {Fr\"oschle, Sibylle and Gorla, Daniele}, booktitle = {{\rm Proceedings 16th International Workshop on} Expressiveness in Concurrency, {\rm Bologna, Italy, 5th September 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {8}, publisher = {Open Publishing Association}, pages = {16-25}, doi = {10.4204/EPTCS.8.2}, }