Media type: Book Title: Property preserving transition refinement with concurrent runs Contributor: Peuker, Sybille [Author]; Peuker, Sibylle [Other] Published: Berlin: Inst. für Informatik, 2000 Published in: Informatik-Berichte ; 13900 Extent: 27 S Language: English RVK notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 2001 4 009687 001 Item ID: 30082728 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order