Search results for: Ping Gao
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Formal Verification > 307-322
IFIP — The International Federation for Information Processing > Mobile Information Systems > 169-182
IFIP — The International Federation for Information Processing > Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government > e-Marketplaces, e-Hubs, and Portals > 435-447
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification II > 355-370
Lecture Notes in Computer Science > AI 2009: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 517-527
Acta Neurochirurgica Supplements > Acta Neurochirurgica Supplements > ICP: Brain complicance, biophysics, and biomechanics > 279-282
Advances in Intelligent and Soft Computing > Fuzzy Information and Engineering > Application in Fuzzy Sets > 566-574