Verifiable and Executable Logic Specifications of Concurrent Objects in L-Pi

AuthID
 P-001-9P3
2
Author(s)
1
Editor(es)
Hankin, C
Tipo de Documento
Article
Year published
1998
Publicado
in PROGRAMMING LANGUAGES AND SYSTEMS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 1381, Páginas: 42-56 (15)
Conference
7Th European Symposium on Programming (Esop'98) at the Joint European Conferences on Theory and Practice of Software (Etaps'98), Date: MAR 28-APR 04, 1998, Location: LISBON, PORTUGAL, Patrocinadores: Portugal Telecom, TAP Air Portugal, Luso-Amer Dev Fdn, British Council, EU programme Training & Mobility Res, Univ Lisbon, European Assoc Theoret Comp Sci, European Assoc Programming Languages & Syst, Gulbenkian Fdn
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/42691
Crossref®6
Google Scholar®
Publication Identifiers
DBLP: conf/esop/CairesM98
SCOPUS: 2-s2.0-84947723862
Wos: WOS:000077564000004
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service