Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces.

Paul Gastin, Dietrich Kuske

Browse the full CONCUR paper archive.