Allgemeine Angaben: | Ort der Dateien | Dateien sind intern im Dokumentenserver abgelegt | Größe | 16,60 MB in einer Datei | ZIP-Datei: | Gepackte Version als ZIP-Archiv herunterladen | Eingebracht am | 28.08.2017 11:13:34 | Zuletzt geändert am | 28.08.2017 11:13:34 | Dokument: | Towards Infinite-State Symbolic Model Checking for B and Event-B | Hauptdatei | |
| | |