Allgemeine Angaben: | Ort der Dateien | Dateien sind intern im Dokumentenserver abgelegt | Größe | 23,86 MB in einer Datei | ZIP-Datei: | Gepackte Version als ZIP-Archiv herunterladen | Eingebracht am | 29.01.2010 13:12:07 | Zuletzt geändert am | 29.01.2010 13:12:07 | Dokument: | On Symmetry Reduction in Model Checking via Graph Canonicalisation | Hauptdatei | |
| | |