Titel |
Proving non-reachability by modulo-place invariants / Desel ; Radola. Hrsg.: Die Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin] |
|---|---|
Beteiligt |
Jörg Desel (Verfasser) |
Erschienen |
Berlin: Professoren des Inst. für Informatik |
Umfang |
12 S. : graph. Darst. |
Themengebiet |
|
Reihe |
Informatik-Berichte ; Nr. 24 |
Datensatz-ID |
941203344 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: