Percorrer por assunto Temporal logic
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2022 | Pardinus: a temporal relational model finder | Macedo, Nuno; Brunel, Julien; Chemouil, David, et al. | Artigo | Acesso aberto |