1
Automated Technology for Verification and Analysis [E-Book] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

Full text 
Favorites
Saved in:
2
Domain Modeling and the Duration Calculus [E-Book] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /

Full text 
Favorites
Saved in:
3
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 /

Full text 
Favorites
Saved in:
4
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

Full text 
Favorites
Saved in:
5
Theoretical Aspects of Computing - ICTAC 2004 [E-Book] / First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
6
Theoretical Aspects of Computing – ICTAC 2007 [E-Book] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results