Ito, Masami

• BRICS Report Series No. 53 (2001): RS-53 Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata - Articles
  Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata
  Abstract  PDF