Martin Lange (School of Electrical Engineering

Identifiers

• name variant Martin Lange (School of Electrical Engineering 0.60 · backfill

Papers (1)

1. Model-Checking the Higher-Dimensional Modal mu-Calculus cs.LO · 2012 · author #1

Mentions

• 1202.3500 #1 · backfill · confidence 0.70 Martin Lange (School of Electrical Engineering

Frequent Coauthors

• Computer Science 1 shared papers
• Etienne Lozes (School of Electrical Engineering 1 shared papers
• Germany) 1 shared papers
• University of Kassel 1 shared papers