Verification of asynchronous and parametrized hardware designs : monograph - Smrčka, Aleš, 1980-; Vojnar, Tomáš, 1973- (Faculty of Information Technology, Brno University of Technology, 2010)
Keywords: počítačové systémy; hardware; modelování a simulace; computer systems; computer hardware; modeling and simulation; formální verifikace; monografie; monographs