Publications

AuthID
P-008-56V

Author(s)

Abal, I

Hurd, J

Document Type

Proceedings Paper

Year published

2012

Published

in SAT, ISSN: 03029743

Volume: 7317 LNCS, Pages: 493-495 (2)

Indexing

Scopus^®

Crossref^®2

Google Scholar^®

Publication Identifiers

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

Dblp: conf/sat/AbalCHP12

Scopus: 2-s2.0-84864261450

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Marked List

Info

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

Useful Links