Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Duan, Zhenhua.

Overview
Works: 1 works in 4 publications in 1 languages
Titles
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers / by: Duan, Zhenhua.; SpringerLink (Online service); Nagoya, Fumiko.; Xue, Jinyun.; Liu, Shaoying. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Structured Object-Oriented Formal Language and Method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers / by: SpringerLink (Online service); Duan, Zhenhua.; Miao, Huaikou.; Tian, Cong.; Liu, Shaoying. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings / by: Ong, Luke.; SpringerLink (Online service); Duan, Zhenhua.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: Duan, Zhenhua.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Liu, Shaoying. (Language materials, printed)
Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / by: Tian, Cong.; SpringerLink (Online service); Duan, Zhenhua.; Nagoya, Fumiko.; Liu, Shaoying. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Structured Object-Oriented Formal Language and Method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / by: Liu, Shaoying.; Nagoya, Fumiko.; Duan, Zhenhua.; SpringerLink (Online service); Tian, Cong. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Structured Object-Oriented Formal Language and Method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers / by: SpringerLink (Online service); Duan, Zhenhua.; Liu, Shaoying. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Structured Object-Oriented Formal Language and Method = 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / by: Duan, Zhenhua.; SpringerLink (Online service); Liu, Shaoying. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: Duan, Zhenhua.; SpringerLink (Online service); Liu, Shaoying.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Computing and Combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings / by: SpringerLink (Online service); Duan, Zhenhua.; Tian, Cong.; Du, Ding-Zhu. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Show more
 
 
Change password
Login