%0 Conference Paper %1 conf/date/EisenbieglerKB97 %A Eisenbiegler, Dirk %A Kumar, Ramayya %A Blumenröhr, Christian %B ED&TC %D 1997 %I IEEE Computer Society %K dblp %P 427-431 %T A constructive approach towards correctness of synthesis-application within retiming. %U http://dblp.uni-trier.de/db/conf/date/edtc1997.html#EisenbieglerKB97 %@ 0-8186-7786-4

@inproceedings{conf/date/EisenbieglerKB97, added-at = {2015-11-11T00:00:00.000+0100}, author = {Eisenbiegler, Dirk and Kumar, Ramayya and Blumenröhr, Christian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23d19c0b902b8f4f818a2241c40c2598b/dblp}, booktitle = {ED&TC}, crossref = {conf/date/1997}, ee = {http://doi.ieeecomputersociety.org/10.1109/EDTC.1997.582395}, interhash = {572dd56600561be3905c7339e4f7ed29}, intrahash = {3d19c0b902b8f4f818a2241c40c2598b}, isbn = {0-8186-7786-4}, keywords = {dblp}, pages = {427-431}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:24:32.000+0100}, title = {A constructive approach towards correctness of synthesis-application within retiming.}, url = {http://dblp.uni-trier.de/db/conf/date/edtc1997.html#EisenbieglerKB97}, year = 1997 }