Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences.

Ulrich Nitsche

Browse the full LFCS paper archive.