Marcus V\"olp

Identifiers

No identifiers captured yet.

Papers (1)

1. TACO: A Toolsuite for the Verification of Threshold Automata cs.DC · 2026 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Mahboubeh Kalateh Dowlati 1 shared papers
• Mouhammad Sakr 1 shared papers
• Paul Eichler 1 shared papers
• Swen Jacobs 1 shared papers
• Tom Baumeister 1 shared papers