Ito, Masami
-
BRICS Report Series Nr. 53 (2001): RS-53 Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata - Artikler
Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata
Resumé PDF (English)