Radu I. Siminiceanu
AuthID: R-006-TJP
1
TITLE: A case study on the lightweight verification of a multi-threaded task server Full Text
AUTHORS: Néstor Cataño; Ijaz Ahmed; Radu I Siminiceanu; Jonathan Aldrich;
PUBLISHED: 2014, SOURCE: Science of Computer Programming, VOLUME: 80
AUTHORS: Néstor Cataño; Ijaz Ahmed; Radu I Siminiceanu; Jonathan Aldrich;
PUBLISHED: 2014, SOURCE: Science of Computer Programming, VOLUME: 80
INDEXED IN: 
CrossRef
CrossRef