Christoph Wagner

Identifiers

• name variant Christoph Wagner 0.60 · backfill

Papers (2)

1. Encoding CSP into CCS cs.LO · 2015 · author #2
2. Encoding CSP into CCS (Extended Version) cs.LO · 2015 · author #2

Mentions

• 1508.06712 #2 · backfill · confidence 0.70 Christoph Wagner
• 1508.01127 #2 · backfill · confidence 0.70 Christoph Wagner

Frequent Coauthors

• Kirstin Peters 2 shared papers
• Meike Hatzel 2 shared papers
• Uwe Nestmann 2 shared papers