Henning Kerstan

Identifiers

• name variant Henning Kerstan 0.60 · backfill

Papers (2)

1. Towards Trace Metrics via Functor Lifting cs.LO · 2015 · author #3
2. Behavioral Metrics via Functor Lifting cs.LO · 2014 · author #3

Mentions

• 1410.3385 #3 · backfill · confidence 0.70 Henning Kerstan

Frequent Coauthors

• Barbara K\"onig 2 shared papers
• Filippo Bonchi 2 shared papers
• Paolo Baldan 2 shared papers