On Sufficient and Necessary Conditions in Bounded CTL

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

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

5 Downloads (Pure)

Fingerprint Dive into the research topics of 'On Sufficient and Necessary Conditions in Bounded CTL'. Together they form a unique fingerprint.

Engineering & Materials Science