Zhu, Huibiao
Zhu, Huibiao, 19..-....
Huibiao Zhu
VIAF ID: 166535241 ( Personal )
Permalink: http://viaf.org/viaf/166535241
Preferred Forms
- 100 0 _ ‡a Huibiao Zhu
- 100 1 _ ‡a Zhu, Huibiao
-
- 100 1 _ ‡a Zhu, Huibiao
- 100 1 _ ‡a Zhu, Huibiao, ‡d 19..-....
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Formal methods and software engineering, c2010: | |
ICFEM 2011 | |
Un modèle de comportement temporisé pour les systèmes distribués communicants | |
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday | |
A timed communication behaviour model for distributed systems. | |
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers |