Logo Logo
Zappe, Julia (2005): Towards a Mobile Temporal Logic of Actions. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
[img]
Vorschau
PDF
Zappe_Julia.pdf

660kB