Formal verification and attack sequence generation of cryptographic protocol based on CP-nets Bai Yunli, Yang Ting, Mi Xiaoqin Abstracto
Obstacles in the Development of Stereo Selective Enzymes for Organic Chemistry Mary Garcia* Abstracto
Application of gamma radiation as a preservative of cereal mix and prevention of aflatoxigenic fungi Laury Francis Costa Abstracto
Effects of dendritic orientation and of aging treatment on the thermal expansion of Ni-based and Co-based cast alloys Cedric Heil, Patrice Berthod, Pierric Lemoine Abstracto