Martina Kettenbach

Identifiers

• name variant Martina Kettenbach 0.50 · backfill

Papers (1)

1. Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects eess.SY · 2019 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Eduard Kamburjan 1 shared papers
• Reiner H\"ahnle 1 shared papers
• Stefan Mitsch 1 shared papers