TY - BOOK AU - Paul, M. Ed. AU - Siegert, H J. Ed. TI - Distributed Systems - Methods and Tools for specification - an advanced course SN - 0387152164 CY - Berlin KW - Distributed Systems ER -