Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Canh Minh Do, Yati Phyo, Adrián Riesco 0001, Kazuhiro Ogata 0001. Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way. ACM Transactions on Software Engineering Methodology, 32(6), November 2023. [doi]

This author has not been identified. Look up 'Canh Minh Do' in GoogleThis author has not been identified. Look up 'Yati Phyo' in GoogleThis author has not been identified. Look up 'Adrián Riesco 0001' in GoogleThis author has not been identified. Look up 'Kazuhiro Ogata 0001' in Google

runs on WebDSL