Media type: Book Title: Formal methods for concurrent systems design : a survey Contributor: Reisig, Wolfgang [Author] imprint: Berlin: Institut für Informatik, [1993] Published in: Informatik-Berichte ; 23 Extent: 10 S.; graph. Darst Language: English RVK notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 95 4 50103 001 Item ID: 10015053 Status: Loanable, place order > Ordering possible ‒ please log in