Analyzing Interaction Orderings with Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser. Analyzing Interaction Orderings with Model Checking. In 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria. pages 154-163, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Matthew B. Dwyer' in GoogleThis author has not been identified. Look up 'Robby' in GoogleThis author has not been identified. Look up 'Oksana Tkachuk' in GoogleThis author has not been identified. Look up 'Willem Visser' in Google

runs on WebDSL