- Publicações
- Pesquisar
- Estatísticas
Accelerating Mus Extraction with Recursive Model Rotation
AuthID
P-00F-X9A
P-00F-X9A
2
Author(s)
Belov, A
·
2
Editor(es)
Per Bjesse; Anna Slobodová
Tipo de Documento
Proceedings Paper
Year published
2011
Publicado
in International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011 in FMCAD
Páginas: 37-40
Conference
2011 Formal Methods in Computer-Aided Design, Fmcad 2011, Date: 30 October 2011 through 2 November 2011, Location: Austin, TX, Patrocinadores: Centaur Technology;IBM Corp.;Intel Corp.;Jasper Design Automation;NEC Laboratories America, Inc.
Publication Identifiers
DBLP: conf/fmcad/BelovM11
SCOPUS: 2-s2.0-84857700136
Export Publication Metadata
Publication Export Settings
Lista Marked
Citações
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.
External Info