Home Advanced Search
Advanced Search - Page 1
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
- English
- Year: 2015
- Author: Shaoying Liu, Zhenhua Duan (eds.)
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
- English
- Year: 2023
- Author: Shaoying Liu, Zhenhua Duan, Ai Liu
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
- EPUB
- English
- Year: 2023
- Author: Shaoying Liu; Zhenhua Duan; Ai Liu
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
- English
- Year: 2017
- Author: Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)
Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
- English
- Year: 2019
- Author: Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings
- English
- Year: 2017
- Author: Zhenhua Duan, Luke Ong (eds.)
Confined Fluid Phase Behavior and CO2 Sequestration in Shale Reservoirs
- EPUB
- English
- Author: Yueliang Liu, Zhenhua Rui
Confined Fluid Phase Behavior and CO2 Sequestration in Shale Reservoirs
- English
- Year: 2022
- Author: Yueliang Liu, Zhenhua Rui
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
- English
- Year: 2016
- Author: Kazuhiro Ogata, Mark Lawford, Shaoying Liu (eds.)
