Abstract
Graded path modalities count the number of paths satisfying a property, and generalize the existential (E) and universal (A) path modalities of CTL*. ......
小提示:本篇文献需要登录阅读全文,点击跳转登录