Media type: Book Title: Hazard detection in a GALS wrappper : a case study Contributor: Stahl, Christian [Author]; Reisig, Wolfgang [Author]; Krstić, Miloš [Author] imprint: Berlin: Inst. für Informatik, 2005 Published in: Informatik-Berichte ; 184 Extent: [5] Bl; graph. Darst Language: English RVK notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 2005 4 003046 Item ID: 31163987 Status: Loanable, place order > Ordering possible ‒ please log in