Michael Lienhardt (FOCUS

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

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