@InProceedings{Doligalski:2012,
author
=
"M.Doligalski",
title
=
"Behavioral specification diversification for logic controllers implemented in FPGA devices",
booktitle
=
"Proceedings of the 9th Annual FPGA Conference - FPGAworld '12; ISBN: 9781450316453",
address
=
"Stockholm, Szwecja",
publisher
=
"New York ACM ",
pages
=
"[5]",
year
=
"2012",
}