%0 Conference Paper %1 conf/emsoft/KiselyovST04 %A Kiselyov, Oleg %A Swadi, Kedar N. %A Taha, Walid %B EMSOFT %D 2004 %E Buttazzo, Giorgio C. %I ACM %K dblp %P 249-258 %T A methodology for generating verified combinatorial circuits. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2004.html#KiselyovST04 %@ 1-58113-860-1

@inproceedings{conf/emsoft/KiselyovST04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kiselyov, Oleg and Swadi, Kedar N. and Taha, Walid}, biburl = {https://www.bibsonomy.org/bibtex/26c7d71954191a90da10fd90e3536e151/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2004}, editor = {Buttazzo, Giorgio C.}, ee = {https://doi.org/10.1145/1017753.1017794}, interhash = {468590b20fddab737eee50383f7bcf06}, intrahash = {6c7d71954191a90da10fd90e3536e151}, isbn = {1-58113-860-1}, keywords = {dblp}, pages = {249-258}, publisher = {ACM}, timestamp = {2018-11-07T16:41:48.000+0100}, title = {A methodology for generating verified combinatorial circuits.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2004.html#KiselyovST04}, year = 2004 }