Publicações

AuthID
P-002-C9H

Author(s)

Tipo de Documento

Article

Year published

2012

Publicado

in FORMAL ASPECTS OF COMPUTING, ISSN: 0934-5043

Volume: 24, Número: 2, Páginas: 217-248 (32)

Indexing

Wos^®

Scopus^®

Crossref^®6

Google Scholar^®

Publication Identifiers

DOI: 10.1007/s00165-011-0196-1

DBLP: journals/fac/BarrosCHP12

SCOPUS: 2-s2.0-84861577982

Wos: WOS:000303537500004

Source Identifiers

ISSN: 0934-5043

Export Publication Metadata

Lista Marked

Info

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

Links Úteis