Return to Article Details Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata Download Download PDF