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