Logo Logo

Hochschulschrift von Zappe, Julia

Anzahl der Einträge: 1.

Zappe, Julia (2005): Towards a Mobile Temporal Logic of Actions. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Diese Liste wurde am Thu Nov 21 21:33:46 2024 CET erstelt.