Media type: Book; Conference Proceedings Title: Workshop Concurrency, Specification and Programming / ed. by Gabriela Lindemann 2, Specification and verification imprint: Berlin: Humboldt-Univ., 2004 Published in: Workshop Concurrency, Specification and Programming / ed. by Gabriela Lindemann ... ; 2 Informatik-Berichte ; 170,2 Extent: S. 190 - 428; graph. Darst Language: English RVK notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Keywords: Konferenzschrift Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 2004 4 002802 Item ID: 31138112 Status: Loanable, place order > Ordering possible ‒ please log in