University of Kassel

Identifiers

• name variant University of Kassel 0.60 · backfill

Papers (1)

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

Mentions

• 1202.3500 #3 · backfill · confidence 0.70 University of Kassel

Frequent Coauthors

• Computer Science 1 shared papers
• Etienne Lozes (School of Electrical Engineering 1 shared papers
• Germany) 1 shared papers
• Martin Lange (School of Electrical Engineering 1 shared papers