A Method for Describing Concurrent Problems Based on Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Georg Winterstein, Manfred Dausmann, Guido Persch. A Method for Describing Concurrent Problems Based on Logic. In Reinhard Wilhelm, editor, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Volume 33 of Informatik-Fachberichte, pages 457, Springer, 1980.

This author has not been identified. Look up 'Georg Winterstein' in GoogleThis author has not been identified. Look up 'Manfred Dausmann' in GoogleThis author has not been identified. Look up 'Guido Persch' in Google

runs on WebDSL