1
Combinatorial Optimization and Applications [E-Book] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /
Other Personal Name(s): “...Hu, Xiaodong...”

Full text 
Favorites
Saved in:
2
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
Other Personal Name(s): “...Hu, Alan J....”

Full text 
Favorites
Saved in:
3
Computer Aided Verification [E-Book] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
Other Personal Name(s): “...Hu, Alan J....”

Full text 
Favorites
Saved in:

Narrow Search Results