Percorrer por assunto Model Finding
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2023 | Verifying temporal relational models with Pardinus | Macedo, Nuno; Brunel, Julien; Chemouil, David, et al. | Artigo em ata de conferência | Acesso aberto |