Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.