Diana Fischer (RWTH Aachen)

Identifiers

• name variant Diana Fischer (RWTH Aachen) 0.60 · backfill

Papers (1)

1. Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems cs.LO · 2012 · author #1

Mentions

• 1209.1738 #1 · backfill · confidence 0.70 Diana Fischer (RWTH Aachen)

Frequent Coauthors

• LIAFA 1 shared papers
• Lukasz Kaiser (CNRS 1 shared papers
• Universite Paris Diderot) 1 shared papers