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 Sun May 11 12:40:22 2025 CEST erstelt.