Article,

Graded computation tree logic.

, , and .
ACM Trans. Comput. Log., 13 (3): 25:1-25:53 (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews