@inproceedings{DEGS22,
  author = {Dolu, {\"O}zdeniz and Ersoy, Nevzat and Gezer, M. Utkan and Say, A. C. Cem},
  title = {Real-Time, Constant-Space, Constant-Randomness Verifiers},
  booktitle = {Implementation and Application of Automata},
  year = {2022},
  editor = {Caron, Pascal and Mignot, Ludovic},
  volume = {13266},
  series = {Lecture Notes in Computer Science},
  pages = {212--224},
  address = {Cham},
  publisher = {Springer International Publishing},
  doi = {10.1007/978-3-031-07469-1_17},
  url = {https://doi.org/10.1007/978-3-031-07469-1_17},
  location = {Rouen, France},
}