Ingmar Meinecke (Institut f\"ur Informatik

Identifiers

• name variant Ingmar Meinecke (Institut f\"ur Informatik 0.60 · backfill

Papers (1)

1. Propositional Dynamic Logic for Message-Passing Systems cs.LO · 2010 · author #6

Mentions

• 1007.4764 #6 · backfill · confidence 0.70 Ingmar Meinecke (Institut f\"ur Informatik

Frequent Coauthors

• Benedikt Bollig (LSV 1 shared papers
• CNRS) 1 shared papers
• Dietrich Kuske (Institut f\"ur Informatik 1 shared papers
• ENS Cachan 1 shared papers
• Universit\"at Leipzig) 1 shared papers