A Common Compiler for LOTOS and SDL Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carl Binding, Wiet Bouma, Michel Dauphin, Günter Karjoth, Yan Yang. A Common Compiler for LOTOS and SDL Specifications. IBM Systems Journal, 31(4):668-690, 1992.

This author has not been identified. Look up 'Carl Binding' in GoogleThis author has not been identified. Look up 'Wiet Bouma' in GoogleThis author has not been identified. Look up 'Michel Dauphin' in GoogleThis author has not been identified. Look up 'Günter Karjoth' in GoogleThis author has not been identified. Look up 'Yan Yang' in Google

runs on WebDSL