TY  - RPRT
TI  - Verifying Time Complexity of Deterministic Turing Machines
AU  - David Gajser
PY  - 2014
DO  - 10.1016/j.tcs.2015.07.028
UR  - https://arxiv.org/abs/1307.3648
ID  - 1307.3648
ER  -