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