Percorrer por autor Matos Pedro, André Subscrever estatísticas do autor Matos Pedro, André
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2018 | Runtime verification of autopilot systems using a fragment of MTL-∫ | Matos Pedro, André; Pinto, Jorge Sousa; Pereira, David, et al. | Artigo | Acesso restrito UMinho |