Huaikou Miao

Books that list Huaikou Miao among their authors but not as the lead author: co-written works, collections and compilations.

Formal methods and software engineeringChris George

Formal methods and software engineering

Chris George · 2002

Testbeds and Research Infrastructures for the Development of Networks and CommunitiesHonghao Gao

Testbeds and Research Infrastructures for the Development of Networks and Communities

Honghao Gao · 2019

Computer and Information Science 2009Roger Lee

Computer and Information Science 2009

Roger Lee · 2009