CTL*

From Wikipedia, the free encyclopedia

You have new messages (last change).

CTL* is an extenstion of computational tree logic that allows path and state operators to be freely mixed.

 This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../c/t/l/CTL__e85c.html"