Huaikou Miao profile picture

Huaikou Miao

Is this your author profile? Create an account to customize it!

Stand Alone

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science June 1-3, 2009, Shanghai, China
Computer and Information Science 2009
Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Structured Object-Oriented Formal Language and Method
Computer and Information Science 2009
Structured Object-Oriented Formal Language and Method 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Testbeds and Research Infrastructures for the Development of Networks and Communities
Testbeds and Research Infrastructures for the Development of Networks and Communications 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings
Testbeds and Research Infrastructures for the Development of Networks and Communities 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings