Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Diana Fischer
Map detail
Diana Fischer2 visible / 2 total nodes / 1 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipDiana FischerADiana FischerResearcherModel Checking the Quantitative mu-Calculus on Linear Hybrid SystemsWModel Checking the Quan...preprint / 2012
Person1 links

Diana Fischer

Researcher