Mapping Template Semantics to SMV - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu. Mapping Template Semantics to SMV. In 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria. pages 320-325, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Yun Lu' in GoogleThis author has not been identified. Look up 'Joanne M. Atlee' in GoogleThis author has not been identified. Look up 'Nancy A. Day' in GoogleThis author has not been identified. Look up 'Jianwei Niu' in Google

runs on WebDSL