Dongqian Liu (MoE Engineering Research Center for Software

Identifiers

• name variant Dongqian Liu (MoE Engineering Research Center for Software 0.60 · backfill

Papers (1)

1. Verifying the correct composition of distributed components: Formalisation and Tool cs.DC · 2015 · author #8

Mentions

• 1502.03515 #8 · backfill · confidence 0.70 Dongqian Liu (MoE Engineering Research Center for Software

Frequent Coauthors

• Application 1 shared papers
• China) 1 shared papers
• CNRS 1 shared papers
• ECNU 1 shared papers
• Eric Madelaine (NRIA Sophia Antipolis Mediterannee 1 shared papers
• France) 1 shared papers
• Hardware Co-design Technology 1 shared papers
• Ludovic Henrio (Univ. of Nice Sophia Antipolis 1 shared papers
• Oleksandra Kulankhina (NRIA Sophia Antipolis Mediterannee 1 shared papers
• Univ. of Nice Sophia Antipolis 1 shared papers