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]
@inproceedings{FuessLL08,
title = {An FPGA Implementation of Explicit-State Model Checking},
author = {Mary Ellen Fuess and Miriam Leeser and Tim Leonard},
year = {2008},
doi = {10.1109/FCCM.2008.36},
url = {http://dx.doi.org/10.1109/FCCM.2008.36},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/FuessLL08},
cites = {0},
citedby = {0},
pages = {119-126},
booktitle = {16th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2008, 14-15 April 2008, Stanford, Palo Alto, California, USA},
editor = {Kenneth L. Pocek and Duncan A. Buell},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3307-0},
}