Model checking generalized possibilistic computation tree logic based on decision processes
Crossref DOI link: https://doi.org/10.1360/N112016-00108
Published Online: 2016-11-09
Published Print: 2016-11-01
Update policy: https://doi.org/10.1360/scp-crossmark-policy-page
MA, Zhanyou
LI, Yongming
