Radu I. Siminiceanu


AuthID: R-006-TJP

Publicações a aguardar confirmação

1
TÍTULO: A case study on the lightweight verification of a multi-threaded task server  Full Text
AUTORES: Néstor Cataño; Ijaz Ahmed; Radu I Siminiceanu; Jonathan Aldrich;
PUBLICAÇÃO: 2014, FONTE: Science of Computer Programming, VOLUME: 80
INDEXADO EM: CrossRef

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