By Dr Paul Hunter

Conference Papers

Hunter P; Ouaknine J; Worrell J, 2013, 'Expressive Completeness for Metric Temporal Logic', in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, pp. 349 - 357, presented at 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), 25 June 2013 - 28 June 2013, http://dx.doi.org/10.1109/lics.2013.41

Back to profile page