Você está em: Início > Publicações > Visualização > Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
Mapa das Instalações
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
Título
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
Tipo
Livro de Atas de Conferência Internacional
Ano
2020
Conferência Internacional
7th International Conference on Rigorous State-Based Methods, ABZ 2020
27 May 2020 through 29 May 2020
Outras Informações
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
ISBN:
978-3-030-48076-9
ISBN Eletrónico:
978-3-030-48076-9
Coleção:
Lecture Notes in Computer Science
Vol.:
12071
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Artigo em Livro de Atas de Conferência Internacional
Nuno Macedo (Autor) (FEUP); Alcino Cunha (Autor) (Outra); José Pereira (Autor) (Outra); Renato Carvalho (Autor) (Outra); Ricardo Silva (Autor) (Outra); Ana C. R. Paiva (Autor) (FEUP); Miguel Sozinho Ramalho (Autor) (Outra); Daniel Silva (Autor) (Outra)
2020
Artigo em Livro de Atas de Conferência Internacional
Cunha, A (Autor) (Outra); Macedo, N (Autor) (FEUP); Liu, C (Autor) (Outra)
2020
Copyright 1996-2026 © Faculdade de Ciências da Universidade do Porto
I Termos e Condições
I Acessibilidade
I Índice A-Z
Última actualização: 2016-03-23 I Página gerada em: 2026-03-15 às 18:09:24 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico
Última actualização: 2016-03-23 I Página gerada em: 2026-03-15 às 18:09:24 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico