Huibiao Zhu
Identifiers
- name variant Huibiao Zhu 0.60 · backfill
Papers (2)
- Apricot - An Object-Oriented Modeling Language for Hybrid Systems cs.SE · 2013 · author #2
- Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study cs.NI · 2012 · author #4
Mentions
Frequent Coauthors
- Ender Y\"uksel 1 shared papers
- Flemming Nielson 1 shared papers
- Hanne Riis Nielson 1 shared papers
- Heqing Huang 1 shared papers
- Huixing Fang 1 shared papers
- Jianqi Shi 1 shared papers