Publications

AuthID
P-00Z-PV6

Author(s)

Bartoletti, M

Castellani, I

Deniélou, PM

Dezani Ciancaglini, M

Ghilezan, S

Pantovic, J

Thiemann, P

Document Type

Article

Year published

2015

Published

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

Volume: 84, Issue: 6, Pages: 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

Marked List

Info

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

Useful Links