| Allgemeine Angaben: | | Ort der Dateien | Dateien sind intern im Dokumentenserver abgelegt | | Größe | 2,43 MB in einer Datei | | ZIP-Datei: | Gepackte Version als ZIP-Archiv herunterladen | | Eingebracht am | 20.01.2023 17:22:50 | | Zuletzt geändert am | 20.01.2023 17:22:50 | | Dokument: | On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms | | Hauptdatei | |
| | |
