Zhang, Lan

Person

Browse all works related to Zhang, Lan.

"7" Result

Computation Tree Logic (CTL) is a branching-time temporal logic whose underlying model of time is a choice of possibilities branching into the future. It has been used in a wide variety of areas in Computer Science and Artificial Intelligence, such as temporal databases, hardwar…