- Journal Article
Journal / seriesJournal of computer and system sciences
SubjectFinite automata; Sweeping automata; Size complexity; Self-verification; Randomization; Hardness propagation
NotesReceived 14 June 2010, Revised 30 December 2010, Accepted 28 June 2011, Published online 30 June 2011.
MoreShow all metadata