Cited By
View all- Feng RAcar EWang YLiu WSchlobach SDing W(2022)Computing Sufficient and Necessary Conditions in CTL: A Forgetting ApproachInformation Sciences10.1016/j.ins.2022.10.124616(474-504)Online publication date: Nov-2022
- Dixon C(2021)Theorem Proving Using Clausal Resolution: From Past to PresentReachability Problems10.1007/978-3-030-89716-1_2(19-27)Online publication date: 25-Oct-2021
- Maple CBradbury MYuan HFarrell MDixon CFisher MAtmaca U(2020)Security-Minded Verification of Space Systems2020 IEEE Aerospace Conference10.1109/AERO47225.2020.9172563(1-13)Online publication date: Mar-2020
- Show More Cited By