CRITTER SYSTEM: ANALYZING DIGITAL CIRCUITS BY PROPAGATING BEHAVIORS AND SPECIFICATIONS.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Unknown Host Publication Title
Pages	284-289
Number of pages	6
State	Published - 1982

All Science Journal Classification (ASJC) codes

TY - GEN

T1 - CRITTER SYSTEM

T2 - ANALYZING DIGITAL CIRCUITS BY PROPAGATING BEHAVIORS AND SPECIFICATIONS.

AU - Kelly, Van E.

AU - Steinberg, Louis I.

PY - 1982

Y1 - 1982

UR - https://www.scopus.com/pages/publications/0020293914

UR - https://www.scopus.com/pages/publications/0020293914#tab=citedBy

M3 - Conference contribution

AN - SCOPUS:0020293914

SN - 0865760438

SN - 9780865760431

SP - 284

EP - 289

BT - Unknown Host Publication Title

ER -