TY  - RPRT
TI  - Safety alternating automata on data words
AU  - Ranko Lazic
PY  - 2010
UR  - https://arxiv.org/abs/0802.4237
ID  - 0802.4237
ER  -