@inproceedings{biblio7426344926685215681,
  author    = {Martin Plátek and Markéta Lopatková and Karel Oliva},
  year      = 2003,
  title     = {Restarting Automata: Motivations and Applications},
  booktitle = {Proceedings of the workshop Petrinetze},
  pages     = {90--96},
  publisher = {Technische Universitaet Muenchen},
  address   = {Munchen},
}