Allgemeine Angaben: | Ort der Dateien | Dateien sind intern im Dokumentenserver abgelegt | Größe | 2,33 MB in einer Datei | ZIP-Datei: | Gepackte Version als ZIP-Archiv herunterladen | Eingebracht am | 04.04.2016 14:22:56 | Zuletzt geändert am | 04.04.2016 14:22:57 | Dokument: | Supporting Validation and Verification of State-Based Formal Models | Hauptdatei | |
| | |