draven-hodnett documents channel
Avatar
All Documents
1 Computation Tree Logic (CTL). 2 CTL Syntax P - a set of atomic propositions, every p P is a CTL formula. f, g, CTL formulae, then so are f, f

1 Computation Tree Logic (CTL). 2 CTL Syntax P - a set of atomic propositions, every p P is a CTL.....

Category: Documents
Released: December 14, 2015