An FPGA Implementation of Explicit-State Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mary Ellen Fuess, Miriam Leeser, Tim Leonard. An FPGA Implementation of Explicit-State Model Checking. In Kenneth L. Pocek, Duncan A. Buell, editors, 16th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2008, 14-15 April 2008, Stanford, Palo Alto, California, USA. pages 119-126, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Mary Ellen Fuess' in GoogleThis author has not been identified. Look up 'Miriam Leeser' in GoogleThis author has not been identified. Look up 'Tim Leonard' in Google

runs on WebDSL