Publicações

AuthID
P-008-C6M

Author(s)

Liffiton, MH

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

in Haifa Verification Conference, ISSN: 03029743

Volume: 7857 LNCS, Páginas: 86-101 (15)

Indexing

Scopus^®

Crossref^®19

Unpaywall^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-642-39611-3_13

DBLP: conf/hvc/MorgadoLM12

SCOPUS: 2-s2.0-84880704509

Unpaywall: 10.1007/978-3-642-39611-3_13

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