1
Theoretical Aspects of Computing - ICTAC 2022 [E-Book] : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
2
Engineering Trustworthy Software Systems [E-Book] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
3
Mechanical and electronics engineering VI : selected, peer reviewed papers from the 2014 6th International Conference on Mechanical and Electronics Engineering (ICMEE 2014), August 16-17, 2014, Beijing, China [E-Book] /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
4
Automated Technology for Verification and Analysis [E-Book] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
5
Theoretical Aspects of Computing – ICTAC 2007 [E-Book] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
6
Formal Methods and Hybrid Real-Time Systems [E-Book] : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
7
Domain Modeling and the Duration Calculus [E-Book] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
8
Mathematical frameworks for component software : models for analysis and synthesis [E-Book] /
He, Jifeng
2006
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
9
Formal Methods and Software Engineering (vol. # 4260) [E-Book] / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
He, Jifeng
2006
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
10
Theoretical Aspects of Computing - ICTAC 2004 [E-Book] / First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:

Narrow Search Results