Laura Bozzelli

Die Erforschung der Rolle von Hypereigenschaften bei der Verifizierung komplexer Softwaresysteme.

2025-08-16T12:43:54+00:00 ― 5 min Lesedauer

Dieses Papier untersucht den Zusammenhang zwischen Verzweigungszeit-Logiken und Automatentheorie.

2025-08-16T03:46:42+00:00 ― 4 min Lesedauer