On Sufficient and Necessary Conditions in Bounded CTL.

Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
January 2020
Cite DOI
Type
Journal article
Publication
CoRR