| Allgemeine Angaben: | | Ort der Dateien | Dateien sind intern im Dokumentenserver abgelegt | | Größe | 3,09 MB in einer Datei | | ZIP-Datei: | Gepackte Version als ZIP-Archiv herunterladen | | Eingebracht am | 27.11.2024 11:34:16 | | Zuletzt geändert am | 27.11.2024 11:34:16 | | Dokument: | Generating interactive documents for domain-specific validation of formal models | | Hauptdatei | |
| | |
