Tom Baumeister

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Mahboubeh Kalateh Dowlati 1 shared papers
• Marcus V\"olp 1 shared papers
• Mouhammad Sakr 1 shared papers
• Paul Eichler 1 shared papers
• Swen Jacobs 1 shared papers