On the verification of state-coding in STGs

Resource

Computer-Aided Design, 1992. ICCAD-92. Digest of Technical Papers., 1992 IEEE/ACM International Conference on

Journal

Computer-Aided Design, 1992. ICCAD-92. Digest of Technical Papers., 1992 IEEE/ACM International Conference on

Pages

-

Date Issued

1992-11

Date

1992-11

Author(s)

Lin, Kuan- Jen

Lin, Chen-Shang

DOI

DOI

N/A

URI

Type

journal article

File(s)

Name

00279388.pdf

Size

451.01 KB

Format

Adobe PDF

Checksum

(MD5):06f66aab98ba93ebb80cd723fdd67071