Structuring Mechanisms for the Formal Description Technique CRS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roelof Jan Velthuys, Lothar F. Mackert, Jürgen M. Schneider, Georg Zörntlein. Structuring Mechanisms for the Formal Description Technique CRS. In Bengt Jonsson, Joachim Parrow, Björn Pehrson, editors, Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991. pages 39-57, North-Holland, 1991.

This author has not been identified. Look up 'Roelof Jan Velthuys' in GoogleThis author has not been identified. Look up 'Lothar F. Mackert' in GoogleThis author has not been identified. Look up 'Jürgen M. Schneider' in GoogleThis author has not been identified. Look up 'Georg Zörntlein' in Google

runs on WebDSL