António José de Oliveira Machiavelo


AuthID: R-000-24V

Publicações a aguardar confirmação

1
TÍTULO: Automata for Synchronised Shuffle on Backbones
AUTORES: Broda, Sabine; Machiavelo, Antonio; Moreira, Nelma ; Reis, Rogerio;
PUBLICAÇÃO: 2025, FONTE: 26th International Conference on Descriptional Complexity of Formal Systems-DCFS-Annual in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2025, VOLUME: 15759
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service