Model Checking for Communicating Quantum Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou. Model Checking for Communicating Quantum Processes. IJUC, 8(1):73-98, 2012. [doi]

This author has not been identified. Look up 'Timothy A. S. Davidson' in GoogleThis author has not been identified. Look up 'Simon J. Gay' in GoogleThis author has not been identified. Look up 'Hynek Mlnarik' in GoogleThis author has not been identified. Look up 'Rajagopal Nagarajan' in GoogleThis author has not been identified. Look up 'Nick Papanikolaou' in Google

runs on WebDSL