PLTL

You are here: irt.org | FOLDOC | PLTL

Propositional Linear Temporal Logic

Nearby terms: PL/S « PL/Seq « PL/SQL « PLTL » plug and play » plug and pray » Plug Compatible Manufacturer

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb