Yayın Bilgisi

Dolu, Ö., Ersoy, N., Gezer, M.U., Say, A.C.C., "Real-Time, Constant-Space, Constant-Randomness Verifiers", Implementation and Application of Automata (CIAA 2022).