A Hierarchy of Monotone Deterministic Non-Forgetting Restarting Automata (bibtex)

by Hartmut Messerschmidt and Friedrich Otto

Reference:

Hartmut Messerschmidt and Friedrich Otto, "A Hierarchy of Monotone Deterministic Non-Forgetting Restarting Automata", In Theory Comput. Syst., vol. 48, no. 2, pp. 343-373, 2011.

Bibtex Entry:

@article{DBLP:journals/mst/MesserschmidtO11,
  author    = {Hartmut Messerschmidt and
               Friedrich Otto},
  title     = {A Hierarchy of Monotone Deterministic Non-Forgetting Restarting
               Automata},
  journal   = {Theory Comput. Syst.},
  volume    = {48},
  number    = {2},
  year      = {2011},
  pages     = {343-373},
  ee        = {http://dx.doi.org/10.1007/s00224-009-9247-x},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}