Media type: Book Title: Integrating low level symmetries into reachability analysis Contributor: Wolf, Karsten [Author] imprint: Berlin: Inst. für Informatik, 1999 Published in: Informatik-Berichte ; 122 Extent: [17] S.; graph. Darst Language: English RVK notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1999 4 029860 001 Item ID: 30443345 Status: Loanable, place order > Ordering possible ‒ please log in