Mostrando
1 - 7
resultados de
7
para a busca '
Hennicker, Rolf
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Hennicker, Rolf
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 7
resultados de
7
para a busca '
Hennicker, Rolf
'
, tempo de busca: 0,02s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Behavioural and abstractor specifications revisited
por
Hennicker
,
Rolf
Publicado em 2018
Acessar documento
Artigo
2
Hybrid dynamic logic institutions for event/data-based systems
por
Hennicker
,
Rolf
Publicado em 2021
Acessar documento
Artigo
3
A logic for the stepwise development of reactive systems
por
Madeira, Alexandre Leite Castro
Publicado em 2018
Outros Autores:
“
...
Hennicker
,
Rolf
...
”
Acessar documento
Artigo
4
Refinement in hybridised institutions
por
Madeira, Alexandre Leite Castro
Publicado em 2015
Outros Autores:
“
...
Hennicker
,
Rolf
...
”
Acessar documento
Artigo
5
Featured Team Automata
por
Beek, Maurice H. ter
Publicado em 2021
Outros Autores:
“
...
Hennicker
,
Rolf
...
”
Acessar documento
Artigo
6
A logic for the stepwise development of reactive systems
por
Madeira, Alexandre
Publicado em 2018
Outros Autores:
“
...
Hennicker
,
Rolf
...
”
Acessar documento
Artigo
7
Refinement in hybridised institutions
por
Madeira, Alexandre
Publicado em 2014
Outros Autores:
“
...
Hennicker
,
Rolf
...
”
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...