Michael Thomas (Leibniz Universit\"at Hannover)

Identifiers

• name variant Michael Thomas (Leibniz Universit\"at Hannover) 0.60 · backfill

Papers (1)

1. Model Checking CTL is Almost Always Inherently Sequential cs.LO · 2011 · author #6

Mentions

• 1103.4990 #6 · backfill · confidence 0.70 Michael Thomas (Leibniz Universit\"at Hannover)

Frequent Coauthors

• Arne Meier (Leibniz Universit\"at Hannover) 1 shared papers
• Germany) 1 shared papers
• Heribert Vollmer (Leibniz Universit\"at Hannover) 1 shared papers
• Martin Mundhenk (Friedrich-Schiller-Universit\"at Jena) 1 shared papers
• Olaf Beyersdorff (Leibniz Universit\"at Hannover 1 shared papers
• Thomas Schneider (University of Manchester) 1 shared papers