The University of Warwick Library - WebBridge

Safety alternating automata on data words
Lazic, Ranko.  ACM Transactions on Computational Logic (TOCL).  v. Vol.12. no. No.2.   2011. p. 1 - 24... issn: 1529-3785 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.