Roland Kindermann

Identifiers

• name variant Roland Kindermann 0.60 · backfill

Papers (2)

1. Bounded Model Checking of an MITL Fragment for Timed Automata cs.LO · 2013 · author #1
2. SMT-based Induction Methods for Timed Systems cs.LO · 2012 · author #1

Mentions

• 1304.7209 #1 · backfill · confidence 0.70 Roland Kindermann
• 1204.5639 #1 · backfill · confidence 0.70 Roland Kindermann

Frequent Coauthors

• Ilkka Niemel\"a 2 shared papers
• Tommi Junttila 2 shared papers