Results 281 to 290 of about 67,415 (306)
Some of the next articles are maybe not open access.
Analysis of lipid peroxidation in human spermatozoa using BODIPY C11
Molecular Human Reproduction, 2007R John Aitken +2 more
exaly
Strategies for the Total Synthesis of C2−C11 Cyclized Cembranoids
Chemical Reviews, 2008J Michael Ellis, Michael T Crimmins
exaly
Interval Reasoning for C11 RAR [PDF]
Owicki-Gries reasoning extends Hoare logic to concurrent programs under the assumption of sequential consistency. In this thesis, we develop a proof calculus using interval reasoning for C11 RAR, a fragment of C11 with relaxed and release-acquire memory operations. Our proof calculus allows all Owicki-Gries proof rules not specific to memory operations
openaire

