@inproceedings{BUT192005,
  author="Miroslav {Beneš} and Tomáš {Hruška} and Elemír {Števko}",
  title="Using Graph Transformation in Discrete Simulation",
  booktitle="Proceedings of the MOSIS 93 Conference",
  year="1993",
  pages="275--281",
  publisher="Marq software s.r.o.",
  address="Olomouc"
}