Azam Beg, P. W. Chandana Prasad, Walid Ibrahim, Emad Abu Shama. Utilizing synthesis to verify Boolean function models. In International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA. pages 1576-1579, IEEE, 2008. [doi]
@inproceedings{BegPIS08, title = {Utilizing synthesis to verify Boolean function models}, author = {Azam Beg and P. W. Chandana Prasad and Walid Ibrahim and Emad Abu Shama}, year = {2008}, doi = {10.1109/ISCAS.2008.4541733}, url = {http://dx.doi.org/10.1109/ISCAS.2008.4541733}, researchr = {https://researchr.org/publication/BegPIS08}, cites = {0}, citedby = {0}, pages = {1576-1579}, booktitle = {International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA}, publisher = {IEEE}, }