The University of Warwick Library - WebBridge

LTL with the freeze quantifier and register automata
Demri, St├ęphane P..  ACM Transactions on Computational Logic (TOCL).  v. Vol.10. no. No.3.   2009-04. p. 15 - issn: 1529-3785 .   

Online access not found

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