Olaf Beyersdorff (Leibniz Universit\"at Hannover

Identifiers

• name variant Olaf Beyersdorff (Leibniz Universit\"at Hannover 0.60 · backfill

Papers (1)

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

Mentions

• 1103.4990 #1 · backfill · confidence 0.70 Olaf Beyersdorff (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
• Michael Thomas (Leibniz Universit\"at Hannover) 1 shared papers
• Thomas Schneider (University of Manchester) 1 shared papers