Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding 0001. Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach. Inf. Sci., 616:474-504, 2022. [doi]

This author has not been identified. Look up 'Renyan Feng' in GoogleThis author has not been identified. Look up 'Erman Acar' in GoogleThis author has not been identified. Look up 'Yisong Wang' in GoogleThis author has not been identified. Look up 'Wanwei Liu' in GoogleThis author has not been identified. Look up 'Stefan Schlobach' in GoogleThis author has not been identified. Look up 'Weiping Ding 0001' in Google

runs on WebDSL