placeholder image

Koelbl, Martin

Person

Positions

University of Konstanz

selected publications

blog posting
- TarTar: A Timed Automata Repair Tool. arXiv (Cornell University). 2020

full name

Martin Koelbl

Publications in VIVO

Co-author Network