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 Tue Mar 25 21:36:49 2025 CET erstelt.