Mostrando
1 - 2
resultados de
2
para a busca '
MOTA, Alexandre Cabral
'
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
MOTA, Alexandre Cabral
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 2
resultados de
2
para a busca '
MOTA, Alexandre Cabral
'
, tempo de busca: 0,03s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Model checking CSPZ: Techniques to overcome state explosion
por
MOTA
,
Alexandre
Cabral
Publicado em 2001
Acessar documento
Tese
2
Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs
por
Barbosa, Raquel de Miranda
Publicado em 2011
Outros Autores:
“
...
Mota
,
Alexandre
Cabral
...
”
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...