Sign in
Groups
Researchers
Results
Typed mobile ambients in Maude
Rosa-Velardo, F.
Segura, C.
Verdejo, A.
Journal
:
Electronic Notes in Theoretical Computer Science
ISSN
:
1571-0661
Year of publication
:
2006
Volume
:
147
Issue
:
1
Pages
:
135-161
Type
:
Conference paper
Export
Export
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Export
×
This document cannot be exported because it belongs to another portal.
Full text
lock_open
Full text
externo
DOI:
10.1016/J.ENTCS.2005.06.041
GOOGLE SCHOLAR
lock_open
Open access
editor
Data source: Scopus
Contact
Legal notice
Help
translate
en
arrow_drop_down
translate
en
arrow_drop_down
es
ca
eu
gl
fr
de