A Executable Formal Semantics for SDL-2000 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Prinz, Robert Eschbach, Reinhard Gotzhein. A Executable Formal Semantics for SDL-2000. In Edel Sherratt, editor, SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000. pages 249-261, VERIMAG, IRISA, SDL Forum, 2000.

This author has not been identified. Look up 'Andreas Prinz' in GoogleThis author has not been identified. Look up 'Robert Eschbach' in GoogleThis author has not been identified. Look up 'Reinhard Gotzhein' in Google

runs on WebDSL