Publications

AuthID
P-000-EKW

Author(s)

Cardelli, L

Document Type

Article

Year published

2003

Published

in INFORMATION AND COMPUTATION, ISSN: 0890-5401

Volume: 186, Issue: 2, Pages: 194-235 (42)

Conference

4Th Symposium on Theoretical Aspects of Computer Software, Date: OCT 29-31, 2001, Location: SENDAI, JAPAN

Indexing

Wos^®

Scopus^®

Crossref^®121

Google Scholar^®

Publication Identifiers

DOI: 10.1016/s0890-5401(03)00137-8

DBLP: journals/iandc/CairesC03

SCOPUS: 2-s2.0-0142121530

Wos: WOS:000185794900003

Source Identifiers

ISSN: 0890-5401

Export Publication Metadata

Marked List

Info

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

Useful Links