Automatic Verification of any Number of Concurrent, Communicating Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Muffy Calder, Alice Miller. Automatic Verification of any Number of Concurrent, Communicating Processes. In 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK. pages 227-230, IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Muffy Calder' in GoogleThis author has not been identified. Look up 'Alice Miller' in Google

runs on WebDSL