Michael Lienhardt (FOCUS

Identifiers

• name variant Michael Lienhardt (FOCUS 0.60 · backfill

Papers (1)

1. A framework for deadlock detection in core ABS cs.PL · 2015 · author #5

Mentions

• 1511.04926 #5 · backfill · confidence 0.70 Michael Lienhardt (FOCUS

Frequent Coauthors

• Cosimo Laneve (DISI 1 shared papers
• DISI) 1 shared papers
• Elena Giachino (DISI 1 shared papers
• FOCUS) 1 shared papers