Lifu

发表

Fire Growth Models and Software

Shu, Mingyu, Tian, 2012 .

SAT-Based Verification of Bounded Petri Nets

Zhou, Wang, Tao, 2006 .

Workflow Model Verification Based on Matrix Transformation

Wang, Wang, Zhang, 2009 .

Bending fatigue strength of induction hardened gears assembled with vehicle＇s engine flywheel

Yi, Masashi, Lifu, 2015 .

Bounded Model Checking for Branching-Time Temporal Logic

Tao, Zhihong, Lifu, 2006 .

Establishment and Verification of a Nomogram for Predicting the Risk of Lymph Node Metastasis in Early Gastric Cancer Authors:

Wei, Zhu, Jiangtao, 2022 .

Accumulation and Distribution of Aboveground Biomass in Gmelinaaborea Age Series of Acid Soil in Ukpon River Forest Reserve of Cross River State Nigeria

Lifu, Amadi, Ijomah, 2013 .

Molecular Cloning and Sequence Analysis of a Tonoplast Aquaporin Gene TIP1 Associated with Tapping Panel Dryness in Hevea brasiliensis

Zhi, Yang, Lifu, 2013 .

Molecular Cloning and Sequence Analysis of an Aquapor- in Gene Related to Tapping Panel Dryness in Rubber Tree （Hevea brasiliensis Muell. Arg. ）

Zhi, Yang, Lifu, 2013 .