Kim G. Larsen (CISS

Identifiers

• name variant Kim G. Larsen (CISS 0.60 · backfill

Papers (1)

1. On Zone-Based Analysis of Duration Probabilistic Automata cs.FL · 2010 · author #4

Mentions

• 1011.0219 #4 · backfill · confidence 0.70 Kim G. Larsen (CISS

Frequent Coauthors

• Bruce H. Krogh (Department of EC Carnegie Mellon University 1 shared papers
• CS Aalborg University 1 shared papers
• Denmark) 1 shared papers
• France) 1 shared papers
• Oded Maler (CNRS-VERIMAG 1 shared papers
• University of Grenoble 1 shared papers
• USA) 1 shared papers