Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Zhi Han

A Promising Form-Stable Phase Change Material Prepared Using Cost Effective Pinecone Biochar as the Matrix of Palmitic Acid for Thermal Energy Storage

Scientific Reports

Multidisciplinary

English

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

International Journal of Foundations of Computer Science

Computer Science

English