TY  - BOOK
AU  - Broy,Manfred
AU  - Merz,Stephan
AU  - Spies,Katharina
TI  - Formal systems specification: the RPC-memory specification case study 
SN  - 3540619844
AV  - QA76.9 M45 F67
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Remote area power supply systems
KW  - Memory management (Computer science)
ER  -