%0 Conference Paper %1 conf/eurodac/FeldbuschK91 %A Feldbusch, Fridtjof %A Kumar, Ramayya %B EURO-DAC %D 1991 %E Ambler, Tony %E Jess, Jochen A. G. %E Man, Hugo De %I EEE Computer Society %K dblp %P 22-26 %T Verification of synthesized circuits at register transfer level with flow graphs. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1991.html#FeldbuschK91 %@ 0-8186-2130-3

@inproceedings{conf/eurodac/FeldbuschK91, added-at = {2015-11-17T00:00:00.000+0100}, author = {Feldbusch, Fridtjof and Kumar, Ramayya}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/217b1b17e9e6509ba3e2192c5d6e96df8/dblp}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1991}, editor = {Ambler, Tony and Jess, Jochen A. G. and Man, Hugo De}, ee = {http://dl.acm.org/citation.cfm?id=951518}, interhash = {6c5077134e96e5b3432374731d8e865e}, intrahash = {17b1b17e9e6509ba3e2192c5d6e96df8}, isbn = {0-8186-2130-3}, keywords = {dblp}, pages = {22-26}, publisher = {EEE Computer Society}, timestamp = {2016-02-02T14:57:08.000+0100}, title = {Verification of synthesized circuits at register transfer level with flow graphs.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1991.html#FeldbuschK91}, year = 1991 }