Allgemeine Angaben: | Ort der Dateien | Dateien sind intern im Dokumentenserver abgelegt | Größe | 2,41 MB in einer Datei | ZIP-Datei: | Gepackte Version als ZIP-Archiv herunterladen | Eingebracht am | 17.06.2015 10:50:17 | Zuletzt geändert am | 17.06.2015 10:50:17 | Dokument: | Directed and Distributed Model Checking of B-Specifications | Hauptdatei | |
| | |