The University of Warwick Library - WebBridge

Zeno, Hercules, and the Hydra : safety metric temporal logic is ACKERMANN-complete
Lazic, Ranko.  ACM Transactions on Computational Logic.  v. 17. no. 3.   2016-02. .   

Online access not found

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