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.

Analog Circuit Verification: a State of an Art

The work

AuthorsO. Maler
Editors
Typemisc
Year2006
Also known asanon2006analog
Citekeymaler2006analog

Where it appeared

PublisherElsevier BV

How it got here

How it got hereagent via unpaywall
Added2026-10-26 22:53 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{maler2006analog,
  title        = {Analog Circuit Verification: a State of an Art},
  author       = {O. Maler},
  year         = {2006},
  publisher    = {Elsevier BV},
  doi          = {10.1016/j.entcs.2006.02.020},
}

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