Reiner H\"ahnle (Technische Universit\"at Darmstadt

Identifiers

• name variant Reiner H\"ahnle (Technische Universit\"at Darmstadt 0.50 · backfill

Papers (1)

1. Prototyping Formal System Models with Active Objects cs.DC · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Eduard Kamburjan (Technische Universit\"at Darmstadt 1 shared papers
• Germany) 1 shared papers