The University of Warwick Library - WebBridge

Reachability in two-clock timed automata is PSPACE-complete
Fearnley, J..  Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II.  v. Volume 7966.   2013. p. 212 - 223... issn: 0302-9743 .   

Online access not found

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