selected publications
-
blog posting
- TarTar: A Timed Automata Repair Tool. arXiv (Cornell University). 2020
-
chapter
- TarTar: A Timed Automata Repair Tool. Springer eBooks. 529-540. 2020
Close
Wies, Thomas
Positions
Publications
Contact
full name
- Thomas Wies
Publications in VIVO
Co-author Network
Map of Science