Publicações

AuthID
P-008-56W

Author(s)

Heras, F

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

in SAT, ISSN: 03029743

Volume: 7317 LNCS, Páginas: 284-297 (13)

Indexing

Scopus^®

Crossref^®23

Unpaywall^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-642-31612-8_22

DBLP: conf/sat/MorgadoHM12

SCOPUS: 2-s2.0-84864262451

Unpaywall: 10.1007/978-3-642-31612-8_22

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis