Friday, February 25, 2005

mu-calculus and CTL

Introduction to translation from CTL to modal mu-calculus.

0 Comments:

Post a Comment

<< Home