publicationentry of dblp:
(0)
This publication has not been reviewed yet.
rating distribution
average user rating
?
The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.
Graded-CTL: Satisfiability and Symbolic Model Checking.
by:In: ICFEM, Vol. 5885Springer
(2009)
, p. 306-325.
Resources (URL, PDF, PS...)