Conditional Commitments: Reasoning and Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli. Conditional Commitments: Reasoning and Model Checking. ACM Transactions on Software Engineering Methodology, 24(2):9, 2014. [doi]

This author has not been identified. Look up 'Warda El Kholy' in GoogleThis author has not been identified. Look up 'Jamal Bentahar' in GoogleThis author has not been identified. Look up 'Mohamed El-Menshawy' in GoogleThis author has not been identified. Look up 'Hongyang Qu' in GoogleThis author has not been identified. Look up 'Rachida Dssouli' in Google

runs on WebDSL