Nr. 53 (2001): RS-53 Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata

Publiceret: 2001-12-23

Artikler