Title |
Proving non-reachability by modulo-place invariants / Desel ; Radola. Hrsg.: Die Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin] |
|---|---|
Involved |
Jörg Desel (Verfasser) |
Published |
Berlin: Professoren des Inst. für Informatik |
Extent |
12 S. : graph. Darst. |
Topic |
|
Series |
Informatik-Berichte ; Nr. 24 |
Record ID |
941203344 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: