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

researchr

You are not signed in
Sign in
Sign up

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

This author has not been identified. Look up 'Manfred Broy' in GoogleThis author has not been identified. It may be one of the following persons:

Stephan Merz

Look up 'Stephan Merz' in GoogleThis author has not been identified. Look up 'Katharina Spies' in Google

runs on WebDSL