Applying a Temporal Logic to the RPC-Memory Specification Problem

Reinhard Gotzhein. Applying a Temporal Logic to the RPC-Memory Specification Problem. In 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, pages 253-273, Springer, 1994.

Authors

Reinhard Gotzhein

This author has not been identified. Look up 'Reinhard Gotzhein' in Google