Hybridization of institutions Artigo de Conferência

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

resumo

• Extended version including all proofs

autores

• Barbosa, L.S.
• Manuel A. Martins
• Madeira, A.
• Diaconescu, R.
• Barbosa, L.S.

data de publicação

• janeiro 1, 2011

publicada em

• Computational Methods in Applied Sciences  Revista

Pesquisas

palavras-chave

• Hybrid logic
• Institution theory
• formal specification

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-642-22944-2_20

Informação adicional documento

Página Inicial

• 283

página final

• 297