A System Verification Strategy Based on the Bst Infrastructure

AuthID
 P-001-5V9
2
Author(s)
Ferreira, JMM
Document Type
Proceedings Paper
Year published
1999
Published
in ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 1
Volume: 1, Pages: 35-38 (4)
Conference
1999 Ieee International Symposium on Circuits and Systems (Iscas 99), Date: MAY 30-JUN 02, 1999, Location: ORLANDO, FL, Sponsors: IEEE
Indexing
Wos®
Dblp®
Crossref®
Google Scholar®
Publication Identifiers
Dblp: conf/iscas/AlvesF99
Wos: WOS:000081715100009
Export Publication Metadata
Marked List
 Add to Marked List
Citations
Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.

CORE Conference
No information about CORE Rank

During the preprocessing phase, only publications of type 'Proceedings Paper' or 'Proceedings' are automatically processed to identify their CORE Rank.

TIP: If your publication's CORE Rank is missing, you can contact with your institutional manager to have the correct ranking manually added to the record.

Journal Factors
Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.

Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service