Publicações

AuthID
P-00Z-PV6

Author(s)

Bartoletti, M

Castellani, I

Deniélou, PM

Dezani Ciancaglini, M

Ghilezan, S

Pantovic, J

Thiemann, P

Tipo de Documento

Article

Year published

2015

Publicado

in JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, ISSN: 2352-2208

Volume: 84, Número: 6, Páginas: 763-780 (18)

Indexing

Wos^®

Scopus^®

Crossref^®9

Google Scholar^®

Publication Identifiers

DOI: 10.1016/j.jlamp.2015.09.003

DBLP: journals/jlp/BartolettiCDDGP15

SCOPUS: 2-s2.0-84997755144

Wos: WOS:000365453100004

Source Identifiers

ISSN: 2352-2208

Export Publication Metadata

Lista Marked

Info

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

Links Úteis