Manfred Broy, Stephan Merz, Katharina Spies, editors, Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994). Volume 1169 of Lecture Notes in Computer Science, Springer, 1996.
Conference: Dagstuhl1996
@proceedings{dagstuhl:1994fss, title = {Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)}, year = {1996}, tags = {case study}, researchr = {https://researchr.org/publication/dagstuhl%3A1994fss}, cites = {0}, citedby = {0}, booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)}, conference = {Dagstuhl}, editor = {Manfred Broy and Stephan Merz and Katharina Spies}, volume = {1169}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61984-4}, }