Rolf Hennicker

Identifiers

• name variant Rolf Hennicker 0.50 · backfill

Papers (1)

1. A Hybrid Dynamic Logic for Event/Data-based Systems cs.LO · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexander Knapp 1 shared papers
• Alexandre Madeira 1 shared papers