@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,
}