Incremental-concurrent fusion checking for efficient context consistency - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lingyu Zhang 0005, Huiyan Wang 0001, Chuyang Chen, Chang Xu 0001, Ping Yu 0002. Incremental-concurrent fusion checking for efficient context consistency. Journal of Systems and Software, 207:111852, January 2024. [doi]

This author has not been identified. Look up 'Lingyu Zhang 0005' in GoogleThis author has not been identified. Look up 'Huiyan Wang 0001' in GoogleThis author has not been identified. Look up 'Chuyang Chen' in GoogleThis author has not been identified. Look up 'Chang Xu 0001' in GoogleThis author has not been identified. Look up 'Ping Yu 0002' in Google

runs on WebDSL