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.
A formal approach towards electrical verification of synchronous MOS circuits
The work
| Authors | I. Bolsens; W. De Rammelaere; C. Van Overloop; L. Claesen; H. De Man |
|---|---|
| Editors | |
| Type | misc |
| Year | 1988 |
| Also known as | anon2003formal, bolsens2003formal |
| Citekey | bolsens1988formal |
Where it appeared
| Publisher | IEEE |
|---|
Identifiers
| DOI | 10.1109/iscas.1988.15359 |
|---|
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-10-23 10:50 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@misc{bolsens1988formal,
title = {A formal approach towards electrical verification of synchronous MOS circuits},
author = {I. Bolsens and W. De Rammelaere and C. Van Overloop and L. Claesen and H. De Man},
year = {1988},
publisher = {IEEE},
doi = {10.1109/iscas.1988.15359},
}
This record lives at https://refs.drheap.org/bolsens1988formal/ and will keep
doing so. It used to be called anon2003formal, bolsens2003formal, and those addresses still resolve to this one.