Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Forms.

Vladimir A. Zakharov

Browse the full LFCS paper archive.