@InProceedings{Stefanowicz:2015,
  author  = "£. Stefanowicz and P. Mrůz",
  title       = "State machine components selection based on minimal transversals",
  booktitle   = "International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2015; ISBN: 9780735413498",
  address     = "Athens, Grecja",
  publisher   = "[B. m.], AIP Publishing",
  volume      = "AIP Conference Proceedings, Vol. 1702",
  pages       = "1--4",
  year        = "2015",
}