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

Yayın Tarihi: 
Cumartesi, 1 Ocak, 2022
Yayın Indexi: 
Yayın Bölümü: 
Yayın Türü: