The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Behavior-preserving transformations for high-level synthesis

The work

AuthorsR. Camposano
Editors
Typemisc
Year1990
Also known asanon1990behaviorpreserving
Citekeycamposano1990behaviorpreserving

Where it appeared

PublisherSpringer New York

How it got here

How it got hereagent via unpaywall
Added2026-10-24 10:47 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{camposano1990behaviorpreserving,
  title        = {Behavior-preserving transformations for high-level synthesis},
  author       = {R. Camposano},
  year         = {1990},
  publisher    = {Springer New York},
  doi          = {10.1007/0-387-97226-9_26},
}

This record lives at https://refs.drheap.org/camposano1990behaviorpreserving/ and will keep doing so. It used to be called anon1990behaviorpreserving, and those addresses still resolve to this one.