@conference{Fer2016,
  author    = {Fermevc, I., Adamović, S.},
  title     = {Checking Correctness of Hardware RNG Architecture Specifications},
  booktitle = {Sinteza 2016 - International Scientific Conference on ICT and E-Business Related Research},
  year      = 2016,
  doi       = {10.15308/Sinteza-2016-179-182},
  pages     = {179-182}
}