A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “computation tree logic” 1

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach
2022 Information Sciences article Computer Science Formal Methods in Verification Open access

Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding

3

citations

1 result