Kim Gulstrand Larsen (Aalborg University

Identifiers

• name variant Kim Gulstrand Larsen (Aalborg University 0.60 · backfill

Papers (1)

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

Mentions

• 1207.1272 #5 · backfill · confidence 0.70 Kim Gulstrand Larsen (Aalborg 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
• Marius Miku\v{c}ionis (Aalborg University 1 shared papers
• Peter Bulychev (Aalborg University 1 shared papers
• Zheng Wang (East China Normal University 1 shared papers