VIVO
Selecione um idioma
Português (Portugal)
English (United States)
Index
Formulário de pesquisa
Início
Pessoas
Organizações
Investigação
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