Publications

AuthID
P-008-WVK

Author(s)

Cardelli, L

Document Type

Proceedings Paper

Year published

2001

Published

in TACS, ISSN: 03029743

Volume: 2215, Pages: 1-37

Indexing

Scopus^®

Crossref^®35

Google Scholar^®

Publication Identifiers

DOI: 10.1007/3-540-45500-0_1

Dblp: conf/tacs/CairesC01

Scopus: 2-s2.0-84978961949

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Marked List

Info

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

Useful Links