Media type: Book; Conference Proceedings Title: Workshop Concurrency, Specification and Programming / ed. by Gabriela Lindemann 1, Petri nets and automata imprint: Berlin: Humboldt-Univ., 2004 Published in: Workshop Concurrency, Specification and Programming / ed. by Gabriela Lindemann ... ; 1 Informatik-Berichte ; 170,1 Extent: 189 S.; 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 002801 Item ID: 31138111 Status: Loanable, place order > Ordering possible ‒ please log in