Um Algoritmo Distribuído para Verificação de Modelos com Fronteiras
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Algortimos Distribuídos
-
Particionamento
-
Passagem de Mensagens
-
SAT
-
Verificação de Modelos
Identidade
identificador BrCris
-
6c75ade320b1d8b7ac7d99c26ac05e5b
identificador Capes
-
200438132001010004P6-Publication
identificador Oasisbr
-
UFMG_4a939f10a2db3db66f8d2ee270e8f790