@InProceedings{memics06-smrcka,
  author = {P. Hl\'avka and V. {\v{R}}eh\'ak and A. Smr\v{c}ka and P. {\v{S}}ime\v{c}ek and D. {\v{S}}afr\'anek and T. Vojnar},
  title = {{Formal Verification of the CRC Algorithm Properties}},
  booktitle = {Proceedings of the 2nd Doctoral Wokrshop on Mathematical
  and Engineering Methods in Computer Science (MEMICS 2006)},
  pages = {55--62},
  publisher = {Brno University of Technology},
  year = 2006,  
}