VIVO
Selecione um idioma
Português (Portugal)
English (United States)
Index
Formulário de pesquisa
Início
Pessoas
Organizações
Investigação
Hybrid specification of reactive systems: An institutional approach
Artigo de Conferência
Visão geral
Pesquisas
Identidade
Informação adicional documento
Ver Todos
Visão geral
autores
Barbosa, L.S.
Madeira, A.
Faria, J.M.
Manuel A. Martins
Barbosa, L.S.
data de publicação
janeiro 1, 2011
publicada em
Computational Methods in Applied Sciences
Revista
Pesquisas
palavras-chave
Hybrid logic
Reactive systems
Theory of institutions
Identidade
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-642-24690-6_19
Informação adicional documento
Página Inicial
269
página final
285