Verification of asynchronous and parametrized hardware designsmonographTištěná knihaSmrčka Aleš, Vojnar TomášVysoké učení technické v Brně2010978-80-214-4214-6 (v knize neuvedeno ; brož.)