Allgemeine Angaben: | Ort der Dateien | Dateien sind intern im Dokumentenserver abgelegt | Größe | 927 KB in einer Datei | ZIP-Datei: | Gepackte Version als ZIP-Archiv herunterladen | Eingebracht am | 10.04.2018 08:11:10 | Zuletzt geändert am | 10.04.2018 08:11:10 | Dokument: | Improving Explicit-State Model Checking for B and Event-B | Hauptdatei | |
| | |