De:Computation Tree Logic

From Free net encyclopedia