Claus Thrane (Department of Computer Science

Identifiers

• name variant Claus Thrane (Department of Computer Science 0.60 · backfill

Papers (1)

1. Parameterized Metatheory for Continuous Markovian Logic cs.LO · 2012 · author #5

Mentions

• 1212.3872 #5 · backfill · confidence 0.70 Claus Thrane (Department of Computer Science

Frequent Coauthors

• Aalborg University) 1 shared papers
• Kim G. Larsen (Department of Computer Science 1 shared papers
• Radu Mardare (Department of Computer Science 1 shared papers