Analysis and testing of concurrent programsmonographFormát: Tištěná knihaKřena Bohuslav, Letko Zdeněk, Vojnar TomášVysoké učení technické v Brně2012ISBN 978-80-214-4464-5 (brož.)