Radu I. Siminiceanu
AuthID: R-006-TJP
You have no permission to see this content: profileOfResearchers/view
Please sign in.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
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
CrossRef