Media type: Book Title: Proving non-reachability by modulo-place-invariants Contributor: Desel, Jörg [Author]; Radola, Micaela-Daphne [Author] imprint: Berlin: Institut für Informatik, [1993] Published in: Informatik-Berichte ; 24 Extent: 12 S. Language: English RVK notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 95 4 50104 001 Item ID: 10015052 Status: Loanable, place order > Ordering possible ‒ please log in