Broy, Manfred (ed.); Merz, Stephan (ed.); Spies, Katharina (ed.) Formal stystems specification. The RPC-memory specification case study. (English) Zbl 1060.68504 Lecture Notes in Computer Science 1169. Berlin: Springer (ISBN 3-540-61984-4). xxiii, 540 p. (1996). The articles of this volume will not be indexed individually. Cited in 4 Documents MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 68Q60 Specification and verification (program logics, model checking, etc.) 00B15 Collections of articles of miscellaneous specific interest PDFBibTeX XMLCite \textit{M. Broy} (ed.) et al., Formal stystems specification. The RPC-memory specification case study. Berlin: Springer (1996; Zbl 1060.68504)