Thomas Schneider (University of Manchester)

Identifiers

• name variant Thomas Schneider (University of Manchester) 0.60 · backfill

Papers (1)

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

Mentions

• 1103.4990 #5 · backfill · confidence 0.70 Thomas Schneider (University of Manchester)

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
• Michael Thomas (Leibniz Universit\"at Hannover) 1 shared papers
• Olaf Beyersdorff (Leibniz Universit\"at Hannover 1 shared papers