@article{Becvar65,
  title = {Real-time and complexity problems in automata theory},
  author = {Jirí Becvár},
  year = {1965},
  url = {http://www.kybernetika.cz/content/1965/6/475},
  researchr = {https://researchr.org/publication/Becvar65},
  cites = {0},
  citedby = {0},
  journal = {Kybernetika},
  volume = {1},
  number = {6},
  pages = {475-498},
}