Towards a mobile temporal logic of actions

JĂșlia Zappe. Towards a mobile temporal logic of actions. PhD thesis, Ludwig Maximilians University Munich, 2005. [doi]

Abstract

Abstract is missing.