Formal Derivation of CSP Programs From Temporal Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rudolf Berghammer, Burghard von Karger. Formal Derivation of CSP Programs From Temporal Specifications. In Bernhard Möller, editor, Mathematics of Program Construction, MPC 95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings. Volume 947 of Lecture Notes in Computer Science, pages 181-196, Springer, 1995.

This author has not been identified. Look up 'Rudolf Berghammer' in GoogleThis author has not been identified. Look up 'Burghard von Karger' in Google

runs on WebDSL