Zheng Wang (East China Normal University

Identifiers

• name variant Zheng Wang (East China Normal University 0.60 · backfill

Papers (1)

1. UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata cs.LO · 2012 · author #15

Mentions

• 1207.1272 #15 · backfill · confidence 0.70 Zheng Wang (East China Normal University

Frequent Coauthors

• Aalborg University 1 shared papers
• Alexandre David (Aalborg University 1 shared papers
• Axel Legay (INRIA Rennes 1 shared papers
• China) 1 shared papers
• Danny B{\o}gsted Poulsen (Aalborg University 1 shared papers
• Denmark) 1 shared papers
• France 1 shared papers
• Kim Gulstrand Larsen (Aalborg University 1 shared papers
• Marius Miku\v{c}ionis (Aalborg University 1 shared papers
• Peter Bulychev (Aalborg University 1 shared papers